'Paxos made visual in FizzBee.' This blog helped me understand Paxos

Paxos is a classic algorithm that I always wanted to learn, but it is too hard. I've tried many times, but just gave up. Lamport's Paxos Made Simple doesn’t actually make it simple, and his Understanding Paxos or How to Win a Turing Award talk uses TLA+ which didn’t help either.

This blog from Lorin Hochstein explains Paxos in more simple terms, Writers, Readers, Storage nodes, etc. Good visualizations, straightforward explanations.

Looks like the only way to truly understand Paxos is to formally model it. Lamport did it with TLA+, but this guy uses a new language called FizzBee to model the algorithm. The FizzBee language also looks easier to read.