Blog
Articles & Insights
Passed every test. Still took down prod.
It passed every test and still took down prod — the bug wasn't a bad line, it was a state nobody enumerated. An LLM writes half your code now and nobody reads every line, so the state space is the only contract you can still enforce. A discriminated union deletes the bad states, a covering array tests what's left, and one Postgres constraint holds when the model is wrong — the cuts that shrink your state space, cheapest first.
aitypescriptsoftware-engineeringstate-managementfeature-flagstypesformal-methodspostgresformal-verificationrails
Read articleThe Feedback Loop Is All You Need
Modern AI coding is limited by feedback latency, not model intelligence. When agents work 24/7, your job shifts from writing code to building tight, deterministic feedback systems.
aiengineeringfeedback-loopsdeveloper-toolsclaude-codecodex
Read article