Hacker News Reader

My understanding is that Raft has been proven formally correct in one of the author's PhD:

That's great, they hadn't done this when I last talked to them.

naw dog, they got tla+ and shiznick