Hacker News: letFunnyhttps://news.ycombinator.com/user?id=letFunnyHacker News RSShttps://hnrss.org/hnrss v2.1.1Thu, 27 Aug 2026 10:40:57 +0000<![CDATA[New comment by letFunny in "Hunting a 16-year-old SQLite WAL bug with TLA+"]]>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.

]]>Fri, 03 Jul 2026 22:41:56 +0000https://news.ycombinator.com/item?id=48780882letFunnyhttps://news.ycombinator.com/item?id=48780882https://news.ycombinator.com/item?id=48780882<![CDATA[New comment by letFunny in "Hunting a 16-year-old SQLite WAL bug with TLA+"]]>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

]]>Fri, 03 Jul 2026 19:26:02 +0000https://news.ycombinator.com/item?id=48778940letFunnyhttps://news.ycombinator.com/item?id=48778940https://news.ycombinator.com/item?id=48778940<![CDATA[New comment by letFunny in "Tell HN: Merry Christmas"]]>From Madrid too

]]>Tue, 25 Dec 2018 14:10:49 +0000https://news.ycombinator.com/item?id=18757465letFunnyhttps://news.ycombinator.com/item?id=18757465https://news.ycombinator.com/item?id=18757465