formal methods

An excerpt from the 1983 BBC series Fun to Imagine in which Richard Feynman describes how he and a mathematician friend counted in their heads in different ways, one verbally and one visually. It shows that people can reach the same goal through quite different mental methods.

The introductory lecture of Stephen Boyd's Stanford Convex Optimization I course (EE 364A). It outlines convex sets, functions and problems, and the course's coverage of least-squares, linear and semidefinite programming, duality and interior-point methods.

A clip from the film The Lives of Others showing Wiesler as a ruthless, efficient Stasi interrogator who uses a recorded interrogation to train new officers. HN uses other scenes from the same film as well.

A short clip from The Wire, season 3, in which Stringer Bell chairs a meeting of the New Day Co-Op with Prop Joe and Fat-Face Rick. The scene shows the drug crews running their cooperative like a formal business meeting.