bug-fixes

Latest stories covering bug-fixes, with summaries and links to related coverage.

2 articles · page 1 of 1

• Breaking the WAL

  2026-08-12

  news

  3 min read

  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.

  sqlitedatabase-managementsoftware-updates

• Postmortem for Kernel Soundness Bug #14576

  2026-08-01

  research

  4 min read

  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.

  kernel-developmentai-assisted-proofslean-programming