Lamport on discovering the Bakery Algorithm
Leslie Lamport, winner of the Association for Computing Machinery's A.M. Turing Award, recounts his discovery of the "bakery algorithm." This clip is taken from an interview conducted with Lamport by Roy Levin for the ACM and Computer History Museum on August 12, 2016 in Mountain View, CA. Video of the full interview is available as part of Lamport’s ACM profile at https://amturing.acm.org/award_winner....
▶︎
The Man Who Revolutionized Computer Science With Math
▶︎
Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1.
▶︎
“I Hate Harvard” – how Robert Metcalfe failed his Ph.D. defense
▶︎
Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System"
▶︎
Leslie Lamport wants you to escape the box of computational thinking
▶︎
1983: Meet the COMPUTER ADDICTS | Newsnight | Retro Tech | BBC Archive
▶︎
Leslie Lamport: Thinking Above the Code
▶︎
Lamport on the origins of Paxos
▶︎
The Strange Math That Predicts (Almost) Anything
▶︎
Lecture 22 - Leslie Lamport on Writing Papers
▶︎
Oral History: Ken Thompson on Co-creating Unix, C’s Origins, and the Go Programming Language
▶︎
The High Schooler Who Solved a Prime Number Theorem
▶︎
How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019
▶︎
Thompson says Plan 9 "the best operating system out there" but will "never make it, ever, ever."
▶︎
Oral History of Leslie Lamport - Part 1
▶︎
Computer Scientist Explains One Concept in 5 Levels of Difficulty | WIRED
▶︎
The real story of how Enigma was broken - Sir Dermot Turing
▶︎
A Conversation with Turing Award Winner Leslie Lamport
▶︎
Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62
▶︎