Quorum Without a Center

Consensus is usually taught as agreement. It is more honestly the art of continuing to function while disagreeing.

Leaderless data types (CRDTs) let two replicas diverge, edit independently, and merge without a referee. The trick is choosing operations that commute, so order stops mattering and conflict stops being catastrophic.

Living with partition

A leader is a center, and a center is a thing that can be cut off. Systems that survive partition are the ones that treated the center as optional from the start.

The forest never elects a coordinating tree. Neither, in the end, should we.