- Reflections: On the Occasion of Ron Adin’s and Yuval Roichman’s Birthdays, and FPSAC 2021
- ICM 2018 Rio (5) Assaf Naor, Geordie Williamson and Christian Lubich
- Test your intuition 47: AGC-GTC-TGC-GTC-TGC-GAC-GATC-? what comes next in the sequence?
- Cheerful news in difficult times: Richard Stanley wins the Steele Prize for lifetime achievement!
- Combinatorial Theory is Born
- To cheer you up in difficult times 34: Ringel Circle Problem solved by James Davies, Chaya Keller, Linda Kleist, Shakhar Smorodinsky, and Bartosz Walczak
- Good Codes papers are on the arXiv
- To cheer you up in difficult times 33: Deep learning leads to progress in knot theory and on the conjecture that Kazhdan-Lusztig polynomials are combinatorial.
- The Logarithmic Minkowski Problem
Top Posts & Pages
- Navier-Stokes Fluid Computers
- The Intermediate Value Theorem Applied to Football
- TYI 30: Expected number of Dice throws
- Believing that the Earth is Round When it Matters
- To Cheer You Up in Difficult Times 31: Federico Ardila's Four Axioms for Cultivating Diversity
- Amazing: Karim Adiprasito proved the g-conjecture for spheres!
- 'Gina Says'
- To cheer you up in difficult times 27: A major recent "Lean" proof verification
- Happy Birthday Richard Stanley!
Monthly Archives: June 2021
“Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover.” (See Lean’s homepage and see here for an introduction to lean.) Kevin Buzzard’s blog … Continue reading
After 16 months without lecturing to an audience in my same location, I gave yesterday two lectures at the Technion in front of a live audience (and some additional audience in remote locations). The main lecture was in COMSOC 2021, … Continue reading