Hacker News
- Using TLA+ for fun and profit in the development of ElasticSearch [video] https://www.youtube.com/watch?v=qYDcbcOVurc 15 comments
Linking pages
- The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods | Concerning Quality https://concerningquality.com/verification-gap/ 17 comments
- Notes from Strange Loop 2019 | NL Smith https://nlsmith.com/strangeloop-2019/ 0 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
Related searches:
Search whole site: site:www.youtube.com
Search title: Using TLA+ for fun and profit in the development of Elasticsearch - Yannick Welsch - YouTube
See how to search.