Explainer video: https://www.bilibili.com/video/BV1F52aY2EXz/

The Paxos algorithm is a very fundamental algorithm in distributed systems and has long been known for its obscurity and brain-bending nature. However, the reason it feels bewildering is mainly because it's not easy to intuitively grasp why it's designed as it is. While we can verify...