Breaking the WAL
SQLite version 3.51.3 fixed a longstanding bug in its Write-Ahead Logging (WAL) subsystem known as the WAL-Reset bug. This bug, which had existed since 2010, was a data race issue with tight timing constraints that the SQLite team was previously unaware of.
antithesis.com
3 min
8/12/2026
Postmortem for Kernel Soundness Bug #14576
A soundness bug in the Lean kernel, identified as #14576, was reported and fixed during the week of July 27. The bug was exploited in an AI-assisted repository that incorrectly claimed to disprove the Collatz conjecture due to issues with nested inductive types.
leodemoura.github.io
4 min
8/1/2026
Breaking the WAL
SQLite version 3.51.3 fixed a longstanding bug in its Write-Ahead Logging (WAL) subsystem known as the WAL-Reset bug. This bug, which had existed since 2010, was a data race issue with tight timing constraints that the SQLite team was previously unaware of.
antithesis.com
3 min
8/12/2026
Postmortem for Kernel Soundness Bug #14576
A soundness bug in the Lean kernel, identified as #14576, was reported and fixed during the week of July 27. The bug was exploited in an AI-assisted repository that incorrectly claimed to disprove the Collatz conjecture due to issues with nested inductive types.
leodemoura.github.io
4 min
8/1/2026
Breaking the WAL
SQLite version 3.51.3 fixed a longstanding bug in its Write-Ahead Logging (WAL) subsystem known as the WAL-Reset bug. This bug, which had existed since 2010, was a data race issue with tight timing constraints that the SQLite team was previously unaware of.
antithesis.com
3 min
8/12/2026
Postmortem for Kernel Soundness Bug #14576
A soundness bug in the Lean kernel, identified as #14576, was reported and fixed during the week of July 27. The bug was exploited in an AI-assisted repository that incorrectly claimed to disprove the Collatz conjecture due to issues with nested inductive types.
leodemoura.github.io
4 min
8/1/2026
No more articles to load