FRESH
Hacker News
Home
Hunting a 16-year-old SQLite WAL bug with TLA+
67 points by peterparker204
by hackingonempty
1 subcomments
TLA+ = formal language for modeling software above the code level and hardware above the circuit level by Leslie Lamport (of vector clock and Paxos fame, among other things.)
https://lamport.azurewebsites.net/tla/tla.html
by peterparker204
0 subcomment
[flagged]
Hacker News