I'm surprised I had to navigate to the glossary to actually "learn" what the acr... | Hacker News

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

seriocomic on Sept 28, 2022 | parent | context | favorite | on: Learn TLA+

I'm surprised I had to navigate to the glossary to actually "learn" what the acronym 'TLA' actually meant, I'd recommend at least having that promoted to the home-page.

Infernal on Sept 28, 2022 | [–]

Temporal Logic of Actions, for other curious readers.

pie_flavor on Sept 29, 2022 | | [–]

I just assumed it was Three Letter Acronym.

soledades on Sept 28, 2022 | [–]

yes, i noticed that when i looked up the term and saw what it meant, it helped my understanding of the topic.

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