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 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 ]