Hunting a 16-year-old SQLite WAL bug with TLA+

ppeterparker204 3 days ago 2 commentsRead Article on ubuntu.com

DE version is available. Content is displayed in original English for accuracy.

⚡ Community Insights

Discussion Sentiment

50% Positive

Analyzed from 82 words in the discussion.

Discussion (2 Comments)Read Original on HackerNews

hackingonempty•about 3 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

mike_hock•about 1 hour ago

So there's \in, \subseteq and probably many others that are written just like in Latex. Notably \cap and \cup were also copied from Latex, which describe the shape of the symbol instead of its meaning. But not \to, \mapsto, \Vee and \Wedge, they're written as ASCII art ->, |->, \/ and /\.

Then there's SUBSET, which means power set ... yeah. -_-