Home
Leslie Lamport: Thinking Above the Code
Microsoft Research
Jul 15, 2014
368,864 views
A Philosophy of Software Design | John Ousterhout | Talks at Google
Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
A Conversation with Turing Award Winner Leslie Lamport
Think Fast, Talk Smart: Communication Techniques
Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System"
Fast Inverse Square Root — A Quake III Algorithm
The KEY To Thinking Like a Programmer (Fix This Or Keep Struggling)
Leslie Lamport - in partnership with ACM Bytecast
Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1.
Lecture 22 - Leslie Lamport on Writing Papers
Keynote: TLA+ at Microsoft: 16 Years in Production - David Langworthy
Oral History of Leslie Lamport - Part 1
Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019
The Story of Shor's Algorithm, Straight From the Source | Peter Shor
What's the difference between programming and coding - Leslie Lamport @ HLF 2019
HLF Laureate Portraits: Leslie Lamport
Computer Science - Brian Kernighan on successful language design
The Man Who Revolutionized Computer Science With Math
Ask the expert - Thinking Mathematically Above The Code Level | Leslie Lamport | Code Mesh V 20