News for hackers. Stuff that matters.

A comment on Proof of linearizability in Raft using Coq. Parent comment

Re:Proof of linearizability in Raft using Coq by macintux on Thursday August 06, 2015 @02:24PM (#10018358)
Kyle Kingsbury has a good look at linearizability and other forms of consistency: https://aphyr.com/posts/313-strong-consistency-models
[ Parent | on HN ]
Re:Proof of linearizability in Raft using Coq by r0naa on Thursday August 06, 2015 @02:27PM (#10018385)
Kyle Kingsbury is the man, and his blog is a must read to anyone interested/curious by distributed systems.
[ Parent | on HN ]
Re:Proof of linearizability in Raft using Coq by quibit on Thursday August 06, 2015 @02:39PM (#10018448)
That was a great read. Thanks for a new blog to put on my RSS feed
[ Parent | on HN ]
Re:Proof of linearizability in Raft using Coq by baq on Thursday August 06, 2015 @03:15PM (#10018691)
the call me maybe series there is an absolute must-read for any post-web 2.0 developer.
[ Parent | on HN ]