wal

Tailscale recounts how they tracked down a 16-year-old SQLite bug causing database corruption and outages, eventually fixing it after months of investigation.

Canonical's dqlite team used TLA+ to model and understand a 16-year-old SQLite bug in WAL checkpointing that can cause database corruption, then verified whether dqlite is affected.