programming ≠ coding - Leslie Lamport Published -- Download video MP4 360p Recommendations 40:44 Top 5 techniques for building the worst microservice system ever - William Brander - NDC London 2023 31:33 The Oldest Unsolved Problem in Math 57:24 Terence Tao at IMO 2024: AI and Mathematics 1:20:35 The Coming Wave: How Ai will change everything | FM Camp 2024 Keynote | Slovakia | IMM 07:31 What's the difference between programming and coding - Leslie Lamport @ HLF 2019 1:15:14 A Crash Course in Category Theory - Bartosz Milewski 46:09 Why Isn't Functional Programming the Norm? – Richard Feldman 2:21:27 Donald Knuth: Programming, Algorithms, Hard Problems & the Game of Life | Lex Fridman Podcast #219 3:29:15 Eric Weinstein - Are We On The Brink Of A Revolution? (4K) 25:56 This experiment confirmed quantum physics 1:35:25 Memorial of W. Rance Cleaveland 17:13 Stanford Computer Scientist Answers Coding Questions From Twitter | Tech Support | WIRED 3:52:21 RPA UiPath Full Course | RPA UiPath Tutorial For Beginners | RPA Course | RPA Tutorial | Simplilearn 1:54:08 Steven Strogatz: In and out of love with math | 3b1b podcast #3 07:27 Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System" 21:48 Programming with Math | The Lambda Calculus 21:31 The mind behind Linux | Linus Torvalds | TED 1:16:18 Stanford ECON295/CS323 I 2024 I AI and Creativity, Anima Anandkumar 29:31 Just enough assembly to blow your mind 21:24 Signals. I spent 2 years to understand this part. Similar videos 59:50 Leslie Lamport: Thinking Above the Code 1:10:55 Stanford Seminar - Programing Should Be More Than Coding, Leslie Lamport of Microsoft Research 07:50 The Man Who Revolutionized Computer Science With Math 02:31 Leslie Lamport wants you to escape the box of computational thinking 07:27 How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019 36:14 Leslie Lamport at GYSS 2020 - How to Think About Programs 45:56 6th HLF – Lecture: Leslie Lamport 05:17 Programmers Need More Math 29:54 Ask the expert - Thinking Mathematically Above The Code Level | Leslie Lamport | Code Mesh V 20 43:24 Predicting and Preventing Chaos with Formal Methods in TLA+ | Thomas Gebert | Lambda Days 2022 58:38 Leslie Lamport at Silicon Valley Leaders Symposium 3:06:49 Oral History of Leslie Lamport - Part 1 More results