Hacker News
Lobsters
- The new Learn TLA+ guide https://learntla.com/ 4 comments programming
- Learn TLA+ http://learntla.com 12 comments programming
Linking pages
- Uncle Bob and Silver Bullets • Hillel Wayne https://www.hillelwayne.com/post/uncle-bob/ 465 comments
- Compilers are hard | ShipReq Blog https://blog.shipreq.com/post/compilers_are_hard/ 172 comments
- Why TDD Isn't Crap • Hillel Wayne https://www.hillelwayne.com/post/why-tdd-isnt-crap/ 165 comments
- GitHub - spacejam/tla-rust: writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+ https://github.com/spacejam/tla-rust 135 comments
- The Business Case for Formal Methods • Hillel Wayne https://www.hillelwayne.com/post/business-case-formal-methods/ 107 comments
- Uncle Bob and Silver Bullets • Hillel Wayne https://www.hillelwayne.com/uncle-bob/ 92 comments
- Announcing: Learn TLA+ • Hillel Wayne https://www.hillelwayne.com/post/learntla/ 86 comments
- TLA+ in Practice and TheoryPart 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments
- An Introduction to TLA+ and Its Use in Parties — You'll get your pizza eventually. – INNOQ https://www.innoq.com/en/articles/2023/04/an-introduction-to-tla/ 33 comments
- Augmenting Agile with Formal Methods https://www.hillelwayne.com/post/augmenting-agile/ 28 comments
- The Case for Models | Concerning Quality https://concerningquality.com/models/ 23 comments
- Mutability Leads to Suffering. You’ve probably read a dozen clear… | by Hillel Wayne | HackerNoon.com | Medium https://medium.com/@hwayne/mutability-leads-to-suffering-23671a0def6a 15 comments
- TLA+ is easier than I thought http://beza1e1.tuxen.de/tla-plus.html 8 comments
- Breaking the limits of TLA+ model checking https://www.hillelwayne.com/post/graphing-tla/ 8 comments
- Reproducing a Memory-Tracking Bug with TLA+ | by Fuzz.AI | Medium https://medium.com/@fuzz_ai/reproducing-a-memory-tracking-bug-with-tla-35ce0652ce72 4 comments
- Safety and Liveness Properties https://www.hillelwayne.com/post/safety-and-liveness/ 3 comments
- Funding the vetting of the Software Supply-Chain · Fazal Majid's low-intensity blog https://blog.majid.info/supply-chain-vetting/ 3 comments
- Logical Time and Deterministic Execution | Concerning Quality https://concerningquality.com/logical-time-determinism/ 3 comments
- Certainty is a Programming Bug (featuring Hillel Wayne) - DEV Community 👩💻👨💻 https://dev.to/bellmar/certainty-is-a-programming-bug-featuring-hillel-wayne-3p1 0 comments
- TLA+ for startups (part 1). Why formal specifications are not a… | by Neil O'Connor | Koodoo | Medium https://medium.com/koodoo/tla-for-startups-part-1-8b162863824b 0 comments
Related searches:
Search whole site: site:learntla.com
Search title: Learn TLA+ — Learn TLA+
See how to search.