Blog
We rewrote TinyGrad in Lean 4* (and yes, it's faster)
June 29, 2026
The software of the future will be bug-free
May 6, 2026
Every problem is a software problem
March 7, 2026
The Clockworks Manifesto
February 7, 2026
Why am I betting on Lean 4 for agentic coding?
December 22, 2025