There are only twelve 4x4 sudokus - and a cool trick for finding minimal subsets https://lobste.rs/s/ccnirb #compsci #math #python
https://baldino.dev/blog/there-are-only-twelve-4x4-sudokus/
math
Methinks it is a weasel https://lobste.rs/s/8tnxna #math #philosophy
https://diatone.net/methinks
did you know that Fibonacci numbers (where each number is the sum of the previous two) can convert miles to kilometres?
1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, ...
pick any number in the sequence as your miles, and the next number in the sequence approximates the number of kilometres
this works because the ratio of consecutive Fibonacci numbers converges to 1.6180334 (the golden ratio φ), while the number of kilometres in a mile is 1.609344
to see how close this is, consider the approximation compared to the actual kilometres
miles km actual km
1 2 1.61
2 3 3.22
3 5 4.83
5 8 8.05
8 13 12.87
13 21 20.92
21 34 33.79
34 55 54.71
55 89 88.50
89 144 143.20
#math
How Is Compression Prediction? https://lobste.rs/s/hxur8w #math
https://lukefleed.xyz/posts/compression/
Special Relativity Boot Camp https://lobste.rs/s/uo3yff #math #science
https://www.acsu.buffalo.edu/~whkinney/SpecialRelativityBootCamp/
Ten advances in mathematics and theoretical computer science https://lobste.rs/s/n6rg1c #math #vibecoding
https://openai.com/index/ten-advances-in-mathematics/
Mathematics Without Mathematicians https://lobste.rs/s/foagiq #math #vibecoding
https://borretti.me/article/mathematics-without-mathematicians
A New Equal-Area Map for Interactive Computer Use https://lobste.rs/s/zttri6 #math #web
https://www.benjoffe.com/map
Programming Pearl: Sampling Unique (x, y) Pairs via @abnv https://lobste.rs/s/kely6n #math #programming
https://pagedout.institute/webview.php?issue=9&page=50&article=Programming+Pearl%3A+Sampling+Unique+%28x%2Cy%29+Pairs
Accurate color conversions (2023) https://lobste.rs/s/zyuk9c #graphics #math
http://lomont.org/posts/2023/accuratecolorconversions/
Why the Legendary Erdős Problems Are Falling to AI https://lobste.rs/s/uq28a0 #ai #math
https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/
A game made only with sine waves https://lobste.rs/s/rnouen #video #games #math #programming
https://www.youtube.com/watch?v=Qr3VsZYQy4s
Music theory for programmers https://lobste.rs/s/zcgvtz #art #math
https://runjs.app/blog/music-theory-for-programmers
Reversing Factorio's RNG https://lobste.rs/s/phbfog #games #math #reversing
https://gegell.github.io/posts/factorio-rng/
‘Huge Breakthrough’ in the Math of Imbalance https://lobste.rs/s/rlcsrg #math
https://www.quantamagazine.org/huge-breakthrough-in-the-math-of-imbalance-20260821/
Adversarial examples for fast hash functions https://lobste.rs/s/lmmuu3 #compsci #math
https://thomasahle.com/blog/adversarial-examples-for-hashes/
We’re gonna need a lot more mathematicians https://lobste.rs/s/gt2jle #math
https://terrytao.wordpress.com/2026/09/24/were-gonna-need-a-lot-more-mathematicians/
50 years of proof assistants https://lobste.rs/s/6gelfg #historical #math #plt
https://lawrencecpaulson.github.io/2025/12/05/History_of_Proof_Assistants.html
Fix a primitive \(q\)th root of unity \(\xi\) and take \(g\in Sp(2m)\) with eigenvalues \(\xi^{\pm1},\dots,\xi^{\pm m}\), \(1\le m<q/2\). Every character of \(Sp(2m)\) at \(g\) is an algebraic integer of the real cyclotomic field \(\mathbb{Q}(\xi)^+\). Together they generate a ring \(A\). When is \(A\) the whole ring of integers \(\mathcal{O}\), and when it is not, how exactly does it fail?
Write \(h=2m\) and \(q=p^vq'\) with \(p\nmid q'\). Every prime of the index divides \(q\), and for \(q'\notin\{1,2,3,4,6\}\):
\(p\mid[\mathcal{O}:A]\iff q'\mid h,\ h+1\ \text{or}\ h+2\)
The Coxeter number, or one past it, or two. Nothing else, at any rank. The picture is the sweep that tests it: 558 orders with a lattice computation, 156 of them with index \(>1\), and every coloured bar sits over such a pair.
29 pp, everything below: https://doi.org/10.5281/zenodo.22813216
#math #NumberTheory #RepresentationTheory #CommutativeAlgebra
The Age of Wonders and Terrors https://lobste.rs/s/mbl9yx #ai #math
https://scottaaronson.blog/?p=10062
Consistent Hashing Proofs https://lobste.rs/s/eplmed #compsci #math
https://ch.terabyteoff.com/
A Crash Course in Predicate Logic https://lobste.rs/s/rwqtzs #math
https://www.hillelwayne.com/post/predicate-logic/
Relation algebra is not relational algebra https://lobste.rs/s/t5fquc #databases #math
https://remy.wang/blog/ra-ra.html