Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1.

1:48:39
Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 2.

1:00:28
Designing for Understandability: The Raft Consensus Algorithm

3:06:49
Oral History of Leslie Lamport - Part 1

1:01:40
A Philosophy of Software Design | John Ousterhout | Talks at Google

59:50
Leslie Lamport: Thinking Above the Code

1:10:55
Stanford Seminar - Programing Should Be More Than Coding, Leslie Lamport of Microsoft Research

1:09:58
MIT Introduction to Deep Learning | 6.S191

26:00