Litex: Formal math for everyone – set theory examples with Lean comparison

Faster practical modular inversion

Show HN: I made a spreadsheet where formulas also update backwards

String theory inspires a brilliant, baffling new math proof

Play the Monty Hall game

I built a tiny 2-qubit quantum simulator in Rust to learn the math

How does math affect my social life?

Logical gates on Floquet codes via folds and twists

Finite-state transducers for substitution tilings

Quanta to publish popular math and physics books by Terence Tao and David Tong