program analysis

A short NYT Op-Doc by Laura Poitras profiling NSA veteran William Binney, who says a program he helped design collects Americans' personal data.

A short clip of Simon Peyton Jones talking about the future of programming languages, saying Haskell is useless in the sense that pure programs cannot have effects, while mainstream languages are useful but unsafe. He describes languages converging, with ideas such as STM and LINQ moving between them.

Pierre Sprey, a designer of the F-16 and A-10, explains why he thinks the F-35 will not hold up on the modern battlefield. It is part one of a series of F-35 critique videos.

In a New York Times interview, Jerry Seinfeld describes the anatomy of his Pop-Tart joke, still a work in progress, and shows his longhand writing process.