Standing on the Shoulders of Giants: Lamport

This week Mike and Erik talked about Leslie Lamport's work. Lamport has been called "the father of distributed systems" and we cover Lamport clocks, Paxos, TLA+ and others of his ideas. For music, Erik has been listening to Again  by Oneohtrix Point Never while Mike has been stuck on  8-Track by Ashley Bathgate.ReferencesLamport’s Personal Site (with links to all of his papers)Quanta Interview Changelog Recent Podcast InterviewCloudflare leap second bugThe Poem “Regalia for a Black Hat Dancer” from Robert Hass’ Sun Under WoodSend us Fan Mail