Stanford Seminar - Programing Should Be More Than Coding, Leslie Lamport of Microsoft Research
20:19
Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
7:50
The Man Who Revolutionized Computer Science With Math
31:10
Stanford Seminar - Designing Origami Voxels for Robotics
1:48:42
Clean Code - Uncle Bob / Lesson 1
59:50
Leslie Lamport: Thinking Above the Code
1:45:56
Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62
7:27
How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019
1:55:27