What kill -9 Can't Tell You: Verifying SQLite and LMDB with Jepsen Lite
Why SIGKILL cannot validate fsync—and how Jepsen Lite's power-off fault makes the difference observable.
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.
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 →