I don't know what TLA+ is, but thanks for an entertaining rant, and the excerpt ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		bolangi 19 days ago \| parent \| context \| favorite \| on: Let go of StackOverflow; communities must take own... I don't know what TLA+ is, but thanks for an entertaining rant, and the excerpt from Heller's timeless book.

simonkagedal 19 days ago | [–]

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

JonChesterfield 19 days ago | [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact