Leslie Lamport: Thinking Above the Code Share: Download MP3 Similar Tracks Computer Science - Brian Kernighan on successful language design University of Nottingham A Philosophy of Software Design | John Ousterhout | Talks at Google Talks at Google Oral History of Leslie Lamport - Part 1 Computer History Museum Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD) TLA+ Video Course Fast Inverse Square Root — A Quake III Algorithm Nemean Keynote: TLA+ at Microsoft: 16 Years in Production - David Langworthy TLA+ - The Temporal Logic of Actions Biggest Puzzle in Computer Science: P vs. NP Quanta Magazine "Tackling Concurrency Bugs with TLA+" by Hillel Wayne Strange Loop Conference Terence Tao on how we measure the cosmos | The Distance Ladder Part 1 3Blue1Brown "Performance Matters" by Emery Berger Strange Loop Conference What's the difference between programming and coding - Leslie Lamport @ HLF 2019 ZME Science Apple's AI Crisis: Explained! Marques Brownlee Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019 GOTO Conferences How to Speak MIT OpenCourseWare Computer Scientist Explains One Concept in 5 Levels of Difficulty | WIRED WIRED Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1. SPTDC The mind behind Linux | Linus Torvalds | TED TED But what are Hamming codes? The origin of error correction 3Blue1Brown Programming Loops vs Recursion - Computerphile Computerphile The Most Misunderstood Concept in Physics Veritasium
