Carl, who previously taught Claude to use Antithesis, recounts how SQLite's 2010 WAL-Reset bug was fixed in version 3.51.3. The bug was a data race with tight timing, never organically reproduced by the developers.

On a road trip, Carl used Claude to set up SQLite 3.51.2 in Antithesis with standard assertions. Running a generic workload, Antithesis caught the bug within 15 mins. Repeating with 3.51.3 showed a clean run.

Tailscale endured six months of uptime issues due to this bug, requiring extensive custom tooling to root-cause. Antithesis simplifies this to deterministic time-travel debugging and causality analysis.

Finding and verifying such rare bugs, Carl demonstrated, can now be done in under an hour from a phone. He invites those with gnarly database issues to reach out.