Lecture 22 - Leslie Lamport on Writing Papers
These are video tapes of a class that Professor Donald Knuth once gave, entitled "Mathematical Writing." For convenience, here is a playlist of all 30 lectures, in order: • Donald Knuth's Lectures on Mathematical Wr... Lecture Notes (Some handouts are missing, but has better quality): http://jmlr.csail.mit.edu/reviewing-p... Lecture Notes (All the handouts are present, but the quality is poor): https://www-cs-faculty.stanford.edu/~... NOTE: I do not own these videos. Stanford holds all the copyrights.

▶︎
Lecture 23 - Nils Nilsson on Art and Writing

▶︎
Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1.

▶︎
Lecture 29 - Paul Halmos on Mathematical Writing

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

▶︎
Leslie Lamport: Thinking Above the Code

▶︎
LEADERSHIP LAB: The Craft of Writing Effectively

▶︎
Oral History of Leslie Lamport - Part 1

▶︎
Harvard Professor Explains The Rules of Writing — Steven Pinker

▶︎
Lecture 1 | String Theory and M-Theory

▶︎
How to Speak

▶︎
Richard P. Feynman: Probability and Uncertainty; The Quantum Mechanical View of Nature

▶︎
12 of the HARDEST Books Ever Written (and how they'll change you)

▶︎
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne

▶︎
Terry Tao "How to think like a mathematician" presented by the UCLA Curtis Center

▶︎
What is Computation -- Dr. Leslie Lamport, Microsoft

▶︎
Stanford Seminar - Programing Should Be More Than Coding, Leslie Lamport of Microsoft Research

▶︎
Walter B. Rudin: "Set Theory: An Offspring of Analysis"

▶︎
Donald Knuth - My advice to young people (93/97)

▶︎
A Conversation with Turing Award Winner Leslie Lamport

▶︎
