logoalt Hacker News

bolangiyesterday at 11:56 PM2 repliesview on HN

I don't know what TLA+ is, but thanks for an entertaining rant, and the excerpt from Heller's timeless book.


Replies

simonkagedaltoday at 5:45 AM

Took me a while to realize that it is an actual thing, rather than used as a placeholder (“three letter acronym”)

JonChesterfieldtoday at 12:40 AM

Usually temporal logic of actions. Lamport's thing. Extremely worth a look.