language · 1 story across the archive · newest first · software
mentions by month
mixed The thread is mostly interested and positive about TLA+ and formal modeling, with the article author appearing to answer questions. The main substantive pushback is that the title may imply the SQLite bug was found by this work, while commenters read the post as a dqlite impact analysis after SQLite’s separate fix. The — latest discussion,