A few more Paxos papers to take a gander at -- Quorum reads, Compartmentalization, Matchmaking and Pigs. The Paxos family of consensus protocols (and their papers) are as colorful as they ever were.
A small focused Haskell library implementing a Count-min data sketch
A survey of Paxos-based consensus algorithms