N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
Hunting a 16-year-old SQLite WAL bug with TLA+
(
ubuntu.com
)
57 points by
peterparker204
3 days ago
|
1 comment
add comment
hackingonempty 2 hours ago
[-]
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
peterparker204 3 days ago
[-]
[flagged]
Rendered at 17:09:21 GMT+0000 (Coordinated Universal Time) with Vercel.
https://lamport.azurewebsites.net/tla/tla.html