Hacker News Reader

It would be cool to also see an animated visualization of the paxos consensus algorithm

Indeed. An animation by Terry Gilliam with each of the distributed processes represented by Leslie Lamport wearing a different disguise.