Lobsters
- Designing Distributed Systems with TLA+ https://www.hillelwayne.com/talks/distributed-systems-tlaplus/ 7 comments distributed , formalmethods , video
Linking pages
- How fast do I talk? • Hillel Wayne https://www.hillelwayne.com/post/talk-fast/ 66 comments
- A Better Cheatsheet https://www.hillelwayne.com/post/cheatsheets/ 4 comments
- Using Formal Methods at Work • Hillel Wayne https://www.hillelwayne.com/post/using-formal-methods/#fnref:nodes 3 comments
- GitHub - sderosiaux/every-single-day-i-tldr: A daily digest of the articles or videos I've found interesting, that I want to share with you. https://github.com/sderosiaux/every-single-day-i-tldr 0 comments
- GitHub - asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems https://github.com/asatarin/testing-distributed-systems 0 comments
Linked pages
- "Finding bugs without running or even looking at code" by Jay Parlar - YouTube https://www.youtube.com/watch?v=FvNRlE4E9QQ 7 comments
- http://spinroot.com/spin/whatispin.html 5 comments
- Using Formal Methods at Work • Hillel Wayne https://www.hillelwayne.com/post/using-formal-methods/#fnref:nodes 3 comments
- GitHub - DistCompiler/pgo: PGo is a source to source compiler from Modular PlusCal specs into Go programs. https://github.com/UBC-NSS/pgo 1 comment
- FDR4 - The CSP Refinement Checker https://www.cs.ox.ac.uk/projects/fdr/ 0 comments
- YOW! 2019 - Hillel Wayne - Designing Distributed Systems with TLA+ - YouTube https://www.youtube.com/watch?t=1s&v=ATobswwFwQA 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:hillelwayne.com
Search title: Designing Distributed Systems with TLA+ • Hillel Wayne
See how to search.