type-level programming

A Channel 9 conversation recorded at GOTO 2012 between Anders Hejlsberg (TypeScript) and Lars Bak (Dart). They discuss the two languages and different approaches to making JavaScript development safer, including runtime type checking.

A five-hour Lex Fridman interview with John Carmack covering Doom, Quake, VR, AGI, programming, games and rockets.

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.

Lex Fridman's long interview with Chris Lattner, creator of LLVM and Swift, covering the future of computing and programming languages. It touches on compilers, hardware, and his work at Apple, Tesla, Google and SiFive.

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 three-hour Lex Fridman podcast conversation with Guido van Rossum, the creator of Python. Topics include Python's design, the GIL, asyncio, the future of programming and AI coding tools.

A Channel 9 Going Deep interview in which Brian Beckman talks with Rich Hickey, creator of Clojure, about the language's design. It covers Clojure's persistent data structures, reference types and its approach to concurrency on the JVM.

A roughly three-hour Computer History Museum oral history interview of Donald Knuth by Edward Feigenbaum, recorded in 2007. Knuth covers his family, music, early programming, his thesis, The Art of Computer Programming, and the detour into TeX and METAFONT.

Jonathan Schiefer interviews Larry Wall, creator of Perl, in a 33-minute conversation. Wall discusses his self-designed linguistics degree and how language and programming overlap.

IGN plays through the first episode of the original Doom with its creator John Romero providing commentary. Romero shares stories, design secrets and behind-the-scenes details about the levels, including E1M1.

Joe Armstrong, creator of Erlang, interviews Alan Kay at Code Mesh. They discuss the meaning of object orientation, message passing, the META II paper, and the state of computer science.

A 1974 talk-show-style interview with the original developers of APL, including Iverson, Falkoff and Breed. They discuss how the language originated.

Bill Atkinson shows and explains his binder of Polaroids taken during Lisa development, documenting how its graphical interface evolved. Recorded at the Computer History Museum.

A 24-minute interview with Edsger Dijkstra, the Dutch computer scientist, including his views on writing programs by hand and keeping errors out of them. It is part of a longer Dutch TV interview.

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

A short clip of Steve Jobs describing the computer as a bicycle for the mind. He compares human efficiency of travel to what computers do for mental work.

Grady Booch interviews John Backus, who led the IBM team that created FORTRAN in 1957, for the Computer History Museum in 2006. Backus describes the development of the first successful high-level language and its compiler. The interview runs 88 minutes.

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.