Founder CEO of @Doist, the company behind @Todoist and @TwistAppTeam.
6/ Thinking Above the Code is a great talk that explains why specifications should be written for any software (especially if it's complex).
When I studied linear algebra many years ago, I found Prof. Strang’s course incredible. E.g., one of his lectures on eigenvectors and eigenvalues:
1/ How Crash Bandicoot Hacked The Original Playstation Super inspiring how Crash Bandicoot got made (the first 3D platform game). They don't mention that it was all implemented in GOAL — a dialect of the language Lisp made for game development!