Hi, I'm Alex 👋

I write about machine learning, software, and books.

Recent Posts

The Verification Problem May 23, 2026
What If the Feature Store Had Git Built In? May 15, 2026
Journaling vs Meditation vs Writing Apr 30, 2026
Planning an ML Survey Paper: Notes from a Notebook Apr 30, 2026
Proofs and Essays Are Paths: An LLM ↔ Prover Loop for Falsifying Hallucinations Apr 30, 2026