Blog

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