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

There are no comments on this comment yet.