- Tackling Concurrency Bugs with TLA+ https://www.youtube.com/watch?v=_9B__0S21y8 10 comments programming
Linking pages
- Why TDD Isn't Crap • Hillel Wayne https://www.hillelwayne.com/post/why-tdd-isnt-crap/ 165 comments
- GitHub - hellerve/programming-talks: Awesome & interesting talks about programming https://github.com/hellerve/programming-talks 22 comments
- A beginners step by step guide to Alloy http://msitko.pl/blog/2020/05/24/guide-to-alloy.html 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:youtu.be
Search title: "Tackling Concurrency Bugs with TLA+" by Hillel Wayne - YouTube
See how to search.