Full threaddiscodave·Just to answer the question in the HN title "Replace it with a provably correct distributed consensus algorithm like Paxos."View on HN