type-driven development

Computerphile with Professor Brailsford on how a 1979 Bell Labs team reverse engineered a Linotron 202 phototypesetter over a summer to get high-quality print output. It covers typesetting history and the later 2013 rebuild of the famous vacation memo.

Lucas Pope, creator of Return of the Obra Dinn, explains in Ars Technica's War Stories how localizing the game's logbook nearly sank the project.

Westwood Studios co-founder Louis Castle talks about how pathfinding was solved in Command & Conquer: Tiberian Sun, in an Ars Technica War Stories episode. It also touches on other challenges in Westwood's RTS games.

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.

A roughly 14-minute interview with OpenBSD founder Theo de Raadt at ruBSD 2013. He talks about making painful changes, getting real feedback, mitigation techniques compared to other OSs, and virtualization.

A six-minute excerpt from Steve Jobs' 1995 Lost Interview on why a great idea does not automatically become a great product. He says ideas change substantially once you actually build them.

A 1968 Firing Line interview in which Milton Friedman explains the negative income tax, a proposal to replace welfare bureaucracy with direct payments.

Giant Bomb interviews John Carmack at E3 2012 about his virtual reality head-mounted display prototype. He demos it and talks about latency, depth and focus problems in VR.

A short TFiR clip of Linus Torvalds explaining why he thinks GPLv3 violates what GPLv2 stood for. He describes why he chose GPLv2 for kernel development and his view of the FSF's approach.

Tim Dodd of Everyday Astronaut talks with Elon Musk right after Musk's 2019 Starship presentation. Musk discusses Starship's design, why SpaceX favors conventional engines over aerospikes, and how deleting parts and processes speeds up development.

A 13-minute clip from This Week in Startups in which Chamath Palihapitiya describes venture capital as a Ponzi-like scheme driven by fees and inflated valuations among VCs.

A Gamereactor interview at E3 2012 with John Carmack, who shows his lag-free head-mounted display running DOOM 3 BFG Edition. He discusses what the headset could mean for the games industry.