Similar Tracks
How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019
ZME Science
Probability, math as a team sport, sudoku: Interview with leading mathematician Hugo Duminil-Copin
ZME Science
Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System"
Turing Awardee Clips