type-level programming

An interview with Anders Hejlsberg, lead architect of TypeScript, about porting the TypeScript compiler to Go. He covers the 10x type-checking speedup, lower memory use, and why Go was chosen.

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.

JetBrains interviews Zig creator Andrew Kelley about why Zig has no 1.0 after a decade, why the project left GitHub, and why it bans AI contributions. He also covers what makes Zig better than C and his views on open source.

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 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.

Developer Voices interviews Chris Lattner about Mojo, a Python-compatible language aimed at CPU/GPU performance built on LLVM and MLIR. It covers performance features, the type system and why Mojo uses Python syntax.

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.

Rhonda Patrick interviews Dr. Bill Harris, co-inventor of the Omega-3 Index and author of more than 300 papers on fatty acids. They cover EPA and DHA dosing, fish oil studies such as REDUCE-IT, and how omega-3 levels relate to health and longevity.

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 podcast episode in which GPT-4 red teamer Nathan Labenz describes using the model before release, finding it human-level but not human-like, and discussing its weaknesses and worrying capabilities. It closes with speculation about GPT-5.

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.

Lex Fridman interviews OpenAI CEO Sam Altman about GPT-4, GPT-5, Sora, the OpenAI board saga, Elon Musk, Ilya Sutskever, power and AGI. The conversation runs nearly two hours.

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.