I planned on writing a post on the Paxos algorithm with an example implementation but it turns out someone already wrote an excellent post explaining it and followed it up with some toy code.

I was beaten to the punch but I'll probably still try implementing it myself soon. Like he said, you rarely truly understand the complexities of something unless you try doing it yourself.