Programming ≠ Coding - Leslie Lamport

2025 1:15:46
Synopsis
The Mathematics Research Center (MRC) and Stanford Department of Mathematics present the Public Lecture, "programming ...

You Might Also Like

Leslie Lamport: Thinking Above the Code 59:50
Leslie Lamport: Thinking Above The Code
2015
What's the difference between programming and coding - Leslie Lamport @ HLF 2019 7:31
What's The Difference Between Programming And Coding - Lesli...
2020
Stanford Seminar - Programing Should Be More Than Coding, Leslie Lamport of Microsoft Research 1:10:55
Stanford Seminar - Programing Should Be More Than Coding, Le...
2016
Leslie Lamport (Invited Talk Q&A) -If You're Not Writing a Program, Don't Use a Programming Language 44:28
Leslie Lamport (invited Talk Q&a) -if You're Not Writing A P...
2021
Coding isn't Programming - Closing Keynote with Leslie Lamport - SCaLE 22x 1:05:28
Coding Isn't Programming - Closing Keynote With Leslie Lampo...
2026
The Man Who Revolutionized Computer Science With Math 7:50
The Man Who Revolutionized Computer Science With Math
2023
If you don't design right from the beginning, every piece of the code is a patch (Leslie Lamport) 0:53
If You Don't Design Right From The Beginning, Every Piece Of...
2024
Ask the expert - Thinking Mathematically Above The Code Level | Leslie Lamport | Code Mesh V 20 29:54
Ask The Expert - Thinking Mathematically Above The Code Leve...
2022
How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019 7:27
How To Think Clearly As A Programmer With Mathematics And Tl...
2020
If you're Not Writing a Program Don't Use a Programming Language 1:22:39
If You're Not Writing A Program Don't Use A Programming Lan...
2021
Leslie Lamport at GYSS 2020 - How to Think About Programs 36:14
Leslie Lamport At Gyss 2020 - How To Think About Programs
2021
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.