Leslie Lamport – The Paxos algorithm or how to win a Turing Award | Hacker News Reader