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.

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.

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.

Peter Norvig answers the top questions submitted by reddit users in a 27-minute interview. Topics include programming language choice, AI, and workplace design.

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.

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.

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.

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.

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.