Ah, so Raft is what everyone uses, and Paxos is used by the very big providers nowadays. Good to know! I can't find the study any more, though I'm pretty sure

Ah, so Raft is what everyone uses, and Paxos is used by the very big providers nowadays. Good to know! I can't find the study any more, though I'm pretty sure I saw it on HN...