Hacker News
Lobsters
- The Verification of a Distributed System http://queue.acm.org/detail.cfm?id=2889274 10 comments compsci , distributed
Linking pages
- Jepsen: Radix DLT 1.0-beta.35.1 https://jepsen.io/analyses/radix-dlt-1.0-beta.35.1 76 comments
- Caitie McCaffrey on Engineering Effectiveness and Verifying Distributed Systems https://www.infoq.com/articles/podcast-caitie-mccaffrey 0 comments
- GitHub - asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems https://github.com/asatarin/testing-distributed-systems 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:queue.acm.org
Search title: The Verification of a Distributed System - ACM Queue
See how to search.