Paxos made simple (2001) [pdf] | Hacker News Reader