Hi, it’s Carl again. You may remember me as the guy who taught Claude to use Antithesis. Earlier this year, SQLite released (3.51.3), which fixed a longstanding bug in their Write-Ahead Logging (WAL) subsystem called the WAL-Reset bug. The bug had been hanging around since 2010, but the SQLite team had apparently been unaware of its existence until earlier this year (more on this below). As they wrote at the time: “The bug is a data race with tight timing constraints. It is unlikely to occur in ...