The video loads from YouTube only after you press Play.

Leslie Lamport: Thinking Above the Code

A 60-minute talk by Leslie Lamport about formal methods, specifications and distributed systems, on the Programming shelf. A commenter in r/ExperiencedDevs recommended it.

Leslie Lamport, Talk, 60 min, 2014, on the Programming shelf

Argues for specifying and thinking about software before writing code, especially for concurrent and critical systems.