Lamport on the origins of Paxos
22:46
A Conversation with Turing Award Winner Leslie Lamport
7:27
Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System"
1:44:32
Oral History of Jim Keller
9:26
Kahan on the 8087 and designing Intel's floating point
9:30
Paxos Explained
26:00
Paxos in Pictures: Lamport's Distributed Consensus Algorithm
1:20:08
Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1.
14:17