Hi, I'm Alex 👋

I write about machine learning, software, and books.

Recent Posts

I Killed a Container and It Came Back Jul 2, 2026
Easier to Convince Than to Prove Jun 12, 2026
Who Verifies the Verifier May 28, 2026
Same-Day Model Integration: ESMC + ESMFold2 in Sheaf v0.11 May 27, 2026
The Verification Problem May 23, 2026