30 ms·
I don't know what TLA+ is, but thanks for an entertaining rant, and the excerpt from Heller's timeless book.
by bolangi 11mo ago
I don't know what TLA+ is, but thanks for an entertaining rant, and the excerpt from Heller's timeless book.
- JonChesterfield 11mo agoUsually temporal logic of actions. Lamport's thing. Extremely worth a look.
- simonkagedal 11mo agoTook me a while to realize that it is an actual thing, rather than used as a placeholder (“three letter acronym”)