Congrats Leslie Lamport on winning the Turing Award! Algorithms like Paxos are what made me go to grad school. http://www.acm.org/news...