https://www.hillelwayne.com/tags/release/ Recent content in Release on Hillel Wayne Hugo -- gohugo.io en-us Fri, 01 Jul 2022 00:00:00 +0000 https://www.hillelwayne.com/post/learntla/ Fri, 01 Jul 2022 00:00:00 +0000 https://www.hillelwayne.com/post/learntla/ tl;dr: online TLA+ manual/advanced techniques/examples here. TLA+ is a tool for testing abstract software designs. I first stumbled on it in 2016 and found it so useful I wrote a free online guide to help others learn it. Then I decided the guide wasn’t good enough and wrote Practical TLA+ in 2018. Then I decided the book wasn’t good enough and needed a second edition. Just kidding! Book’s never getting a second edition, because it costs $26 and no matter how good I make it, it’s never going to have the reach of a free resource.