top | item 46092031 (no title) bolangi | 3 months ago I don't know what TLA+ is, but thanks for an entertaining rant, and the excerpt from Heller's timeless book. discuss order hn newest simonkagedal|3 months ago Took me a while to realize that it is an actual thing, rather than used as a placeholder (“three letter acronym”) JonChesterfield|3 months ago Usually temporal logic of actions. Lamport's thing. Extremely worth a look.
simonkagedal|3 months ago Took me a while to realize that it is an actual thing, rather than used as a placeholder (“three letter acronym”)
JonChesterfield|3 months ago Usually temporal logic of actions. Lamport's thing. Extremely worth a look.
simonkagedal|3 months ago
JonChesterfield|3 months ago