6th HLF – Lecture: Leslie Lamport
Leslie Lamport: "If You're Not Writing a Program, Don't Use a Programming Language" Algorithms are not programs. They can and should be written with math rather than programming languages or pseudo-languages. This applies to many more algorithms than the ones taught in algorithm courses. This video is also available on another stream: http://hitsmediaweb.h-its.org/Mediasi... The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. More information to the Heidelberg Laureate Forum: Website: http://www.heidelberg-laureate-forum.... Facebook: / heidelberglaureateforum Twitter: / hlforum Flickr: https://www.flickr.com/hlforum More videos from the HLF: / laureateforum Blog: https://scilogs.spektrum.de/hlf/

Turing Award Winner: Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport

HLF Laureate Portraits: Richard S. Sutton

6th HLF – Lecture: Michael Stonebraker

Leslie Lamport: Thinking Above the Code

TLA+: Viewed from 40,000 Feet and Ground Level

HLF Laureate Portraits: Yael Tauman Kalai

"Tackling Concurrency Bugs with TLA+" by Hillel Wayne

⑥ Richard Feynman: Probability & Uncertainty—The Quantum Mechanical View of Nature (Remastered)

Lecture 22 - Leslie Lamport on Writing Papers

Ask the expert - Thinking Mathematically Above The Code Level | Leslie Lamport | Code Mesh V 20

HLF Laureate Portraits: Charles Fefferman

William Dunham, A tribute to Euler

Ron Pressler - The Practice and Theory of TLA+

Why Do People Hate Mathematics? Efim Zelmanov (Fields Medal 1994)

A Conversation with Turing Award Winner Leslie Lamport

6. Monte Carlo Simulation

Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)

Oral History of Leslie Lamport - Part 1

Growing a Language, by Guy Steele

