Finding bugs in Raft implementations~dev.testingantithesisalgorithms.distributed> Despite the paper’s famously accessible style, we’ve found bugs in every Raft… moreantithesis.com 3 weeks agoTildes