Get the latest tech news
Hunting a 16-year-old SQLite WAL bug with TLA+
Hunting a 16-year-old SQLite bug with TLA+: We model the WAL race condition to reproduce the issue, verify the fix, and analyze if dqlite is vulnerable.
None
Or read this on Hacker News
