Breaking the WAL
Summary
The article discusses a long-standing WAL-Reset bug in SQLite and how Antithesis was used to instrument and reproduce the issue with simple workloads. It covers the discovery that version 3.51.2 was buggy and that 3.51.3 comes back clean, plus the role of causality analysis and time-travel debugging in rapid verification. It also references Tailscale's uptime issues and highlights how AI-assisted debugging can improve reliability in production systems.