Hacker News
- Knossos: Redis and Linearizability http://aphyr.com/posts/309-knossos-redis-and-linearizability 11 comments
- Knossos: Redis and linearizability http://aphyr.com/posts/309-knossos-redis-and-linearizability 6 comments programming
Linking pages
- GitHub - advancedtelematic/quickcheck-state-machine: Test monadic programs using state machine based models https://github.com/advancedtelematic/quickcheck-state-machine#readme 10 comments
- Computational techniques in Knossos http://aphyr.com/posts/314-computational-techniques-in-knossos 0 comments
- Linearizability in distributed systems - Eli Bendersky's website https://eli.thegreenplace.net/2024/linearizability-in-distributed-systems/ 0 comments
Linked pages
- Jepsen: Redis redux http://aphyr.com/posts/307-call-me-maybe-redis-redux 23 comments
- The TLA+ Home Page http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html 11 comments
- http://spinroot.com/spin/whatispin.html 5 comments
- Linear B - Wikipedia https://en.wikipedia.org/wiki/Linear_B 0 comments
- Availability on planet Terah - &ampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampLTantirez> http://antirez.com/news/57 0 comments
Related searches:
Search whole site: site:aphyr.com
Search title: Knossos: Redis and linearizability
See how to search.