Leslie Lamport: Thinking Above the Code Published 2014-07-15 Download video MP4 360p Recommendations 20:08 Fast Inverse Square Root — A Quake III Algorithm 22:46 A Conversation with Turing Award Winner Leslie Lamport 53:22 Lecture 1: Algorithmic Thinking, Peak Finding 31:59 Microservices are Technical Debt 1:15:46 programming ≠ coding - Leslie Lamport 1:00:06 Computer Science - Brian Kernighan on successful language design 3:06:49 Oral History of Leslie Lamport - Part 1 52:58 Lecture 22 - Leslie Lamport on Writing Papers 1:01:40 A Philosophy of Software Design | John Ousterhout | Talks at Google 1:20:08 Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1. 07:27 Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System" 1:29:36 NSA Releases Internal 1982 Lecture by Computing Pioneer Rear Admiral Grace Hopper 12:48 Has Generative AI Already Peaked? - Computerphile 1:03:43 How to Speak 47:18 The Tragedy of systemd 1:07:34 What Happens When Maths Goes Wrong? - with Matt Parker 1:39:11 Bjarne Stroustrup - The Essence of C++ 1:43:10 Brian Kernighan: UNIX, C, AWK, AMPL, and Go Programming | Lex Fridman Podcast #109 Similar videos 07:31 What's the difference between programming and coding - Leslie Lamport @ HLF 2019 29:54 Ask the expert - Thinking Mathematically Above The Code Level | Leslie Lamport | Code Mesh V 20 02:31 Leslie Lamport wants you to escape the box of computational thinking 07:50 The Man Who Revolutionized Computer Science With Math 1:10:55 Stanford Seminar - Programing Should Be More Than Coding, Leslie Lamport of Microsoft Research 07:27 How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019 01:55 Think and Write, with Leslie Lamport 36:14 Leslie Lamport at GYSS 2020 - How to Think About Programs More results