News for hackers. Stuff that matters.

A comment on The Raft Consensus Algorithm. Parent comment

Re:The Raft Consensus Algorithm by harryfyx on Sunday September 03, 2023 @09:40PM (#37376372)
Raft has a TLA+ proof, which should make it "bug free". I understand your post is a joke, but I wonder if there are actually any errors.
[ Parent | on HN ]
Re:The Raft Consensus Algorithm by henrydark on Monday September 04, 2023 @02:14PM (#37383265)
Actually, AFAIU the TLA+ proof is only for a few small cluster sizes - not for all sizes. And the number of nodes in the painting is definitely above that checked by TLA+...
[ Parent | on HN ]