What’s the reason for the recent TLA flood on this site?
Is this the new “hot” thing?
I suspect it’s because there is more intro-level material for learning it now:
Before then the most accessible resource that I’m aware of was the TLA+ Hyperbook. Reading a book is somehow more of a commitment, so fewer people bothered to learn.
What’s the reason for the recent TLA flood on this site?
Is this the new “hot” thing?
I suspect it’s because there is more intro-level material for learning it now:
Before then the most accessible resource that I’m aware of was the TLA+ Hyperbook. Reading a book is somehow more of a commitment, so fewer people bothered to learn.