Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
15:41
Lamport TLA+ Course Lecture 2: State Machines in TLA+ (HD)
1:19:35
Lecture 1: Introduction
7:50
The Man Who Revolutionized Computer Science With Math
7:27
Lamport on writing "Time, Clocks, and the Ordering of Events in a Distributed System"
27:22
AI Is Making You An Illiterate Programmer
1:03:30
Lecture 1: Introduction to CS and Programming Using Python
49:52
TLA+: Viewed from 40,000 Feet and Ground Level
59:50