Hacker News
- Fuzzing Raft for Fun and Publication http://colin-scott.github.io/blog/2015/10/07/fuzzing-raft-for-fun-and-profit/ 10 comments
Linking pages
- IronFleet: Proving Practical Distributed Systems Correct | the morning paper http://blog.acolyer.org/2015/10/15/ironfleet-proving-practical-distributed-systems-correc/ 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
- Raft Consensus Algorithm https://raft.github.io/ 85 comments
- Actor model - Wikipedia https://en.wikipedia.org/wiki/Actor_model 10 comments
- Tag: Jepsen http://aphyr.com/tags/jepsen 3 comments
- http://ramcloud.stanford.edu/raft.pdf 0 comments
- Akka: build concurrent, distributed, and resilient message-driven applications for Java and Scala | Akka http://akka.io/ 0 comments
Related searches:
Search whole site: site:colin-scott.github.io
Search title: Fuzzing Raft for Fun and Publication - Rest for the Wicked
See how to search.