2026

The Abstract Nonsense Guide to Monads
January 26, 2026
The Evolution of a Lean Programmer
January 11, 2026

2025

Installing Every NixOS Package
December 9, 2025
What’s the Derivative of a Data Type?
October 31, 2025
ICan’tBelieveICanProveItCanSort!
October 21, 2025
Proving Fermat’s Last Theorem in Dafny
August 3, 2025
“Bad Apple!!” But It’s 3288 Lean Tactics Spamming VS Code
July 4, 2025
Doing Math With Lean
May 26, 2025
Cosine in the BEST LANGUAGE EVER
May 9, 2025