News for hackers. Stuff that matters.

letFunny

Re:Hunting a 16-year-old SQLite WAL bug with TLA+ on Friday July 03, 2026 @06:41PM (#48780882)
My guess is that they noticed something was not quite right when inspecting the code and then tested their hypothesis manually to see if it was actually a real bug.

Something similar happened to me when I was working on some code that should clear the state and, by inspection, I noticed some field was not properly cleared under specific circumstances. Then I tested the hypothesis and indeed found a bug. Sometimes intuition and guessing is what it takes.

Re:Hunting a 16-year-old SQLite WAL bug with TLA+ on Friday July 03, 2026 @03:26PM (#48778940)
Author of the article here. I am surprised to see the post was submitted and made it to the front page! Happy to answer any questions
Re:Tell HN: Merry Christmas on Tuesday December 25, 2018 @09:10AM (#18757465)
From Madrid too