My Tests Were Green. My Verification Tool Wasn't.
How a small verification tool found two concurrency bugs that a green test suite missed.
Read article →Engineering notes
Making data systems reliable.
Practical notes on correctness, observability, and performance—written from the point of view of systems that need to keep working in production.