Think and Write, with Leslie Lamport Published 2019-08-13 Download video MP4 360p Recommendations 08:03 Lamport on the origins of Paxos 07:27 How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019 22:46 A Conversation with Turing Award Winner Leslie Lamport 02:31 Leslie Lamport wants you to escape the box of computational thinking 05:59 ACM reviews the achievements of Leslie Lamport 04:42 Donald Knuth - My advice to young people (93/97) 12:00 Meet the inventor of the electronic spreadsheet | Dan Bricklin 07:27 Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System" 1:53:28 "Thinking Versus Writing" by Leonard Peikoff 04:37 Turing Award winner Leslie Lamport 07:31 What's the difference between programming and coding - Leslie Lamport @ HLF 2019 03:57 Lamport on discovering the Bakery Algorithm 08:25 The Illusion of Truth 59:50 Leslie Lamport: Thinking Above the Code 02:02 Bjarne Stroustrup: The 5 Programming Languages You Need to Know | Big Think 07:50 The Man Who Revolutionized Computer Science With Math 15:33 C++ Super Optimization: 1000X Faster 01:57 Donald Knuth - LaTeX and ConTeXt (69/97) 52:58 Lecture 22 - Leslie Lamport on Writing Papers Similar videos 1:15:46 programming ≠ coding - Leslie Lamport 1:20:08 Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1. 01:28 Linus Torvalds "Nothing better than C" 29:54 Ask the expert - Thinking Mathematically Above The Code Level | Leslie Lamport | Code Mesh V 20 36:14 Leslie Lamport at GYSS 2020 - How to Think About Programs 20:19 Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD) 00:53 If you don't design right from the beginning, every piece of the code is a patch (Leslie Lamport) More results