Hacker News
- Learn TLA+ https://learntla.com/ 64 comments
- Learn TLA+ https://www.hillelwayne.com/post/learntla/ 74 comments
- TLA+ is hard to learn (2018) https://surfingcomplexity.blog/2018/12/24/tla-is-hard-to-learn/ 44 comments
- Learn TLA+ (2018) https://learntla.com/introduction/ 58 comments
- Learn TLA+ (2018) https://learntla.com/ 92 comments
Lobsters
- Announcing: Learn TLA+ https://www.hillelwayne.com/post/learntla/ 12 comments book , formalmethods , show
- TLA+ is hard to learn https://lorinhochstein.wordpress.com/2018/12/24/tla-is-hard-to-learn/ 12 comments formalmethods
- The new Learn TLA+ guide https://learntla.com/ 4 comments programming
- Learn TLA+ http://learntla.com 12 comments programming