4 ms·
TLA Will always mean Three Letter Acronym in my book. It took many link hops to find an actual definition, I finally found it in Leslie's first paper on the sub
by larsrc 2y ago
TLA Will always mean Three Letter Acronym in my book. It took many link hops to find an actual definition, I finally found it in Leslie's first paper on the subject. PEYA, people! Please Explain Your Acronyms!
- bubblyworld 2y agoTemporal Logic of Actions, to fix the irony here.
- daelon 2y agoThank you.
- deskr 2y agoDIYOAJFTSOI, dude! (Don't invent your own acronyms just for the sake of it)
- drewcoo 2y agoTIMTOWTDI! Pythonistas, feh!
- beardbound 2y agoI've seen this more and more in recent memory. I feel like the standard used to be define an acronym the first time you use it, then you can use it without explanation. Such as the TLA (three letter acronym) used here.
- Jtsummers 2y ago> I stumbled on a great way to explain the temporal logic of actions that TLA+ is based on. [emphasis added] I mean, it's spelled out right there in the post so what's the complaint? And I double checked, that's copied from the email on Tuesday so not a later addition. He does seem to have changed it on the page for people who don't want to read so now the T, L, and A in the words are capitalized and bolded.
- larsrc 2y agoWow, I totally missed that. Sorry.