Hacker News
- Parallel Commits: A New Atomic Commit Protocol for Distributed Transactions https://www.cockroachlabs.com/blog/parallel-commits 38 comments
Linking pages
- The Business Case for Formal Methods • Hillel Wayne https://www.hillelwayne.com/post/business-case-formal-methods/ 107 comments
- The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods | Concerning Quality https://concerningquality.com/verification-gap/ 17 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:cockroachlabs.com
Search title: Parallel Commits: An atomic commit protocol for globally distributed transactions
See how to search.