Hi, I'm Alex 👋

I write about machine learning, software, and books.

Recent Posts

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
What If the Feature Store Had Git Built In? May 15, 2026