Journal series
Engineering with AI Agents
Notes from building software with AI agents, including the engineering decisions, failures, tradeoffs and costs that come with them.
If AI writes the code, what should I review?
AI agents can produce code faster than I can review it. I'm experimenting with ways to check their work.
Exploring next
Planned article
The Proof Takes 25 Minutes. Now What?
Which checks really need to run every time, and which results can be safely reused? I'm exploring how to reduce validation costs without weakening the guarantees.