使用 TLA+ 寻找 16 年之久的 SQLite WAL bug · HackerLangs