type theory

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.

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.

Sixty Symbols interviews Nottingham cosmologist Tony Padilla, who says string theory deserves to be taken seriously. He explains how strings emerged from the equations rather than being invented.

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 interviews Jeff Hawkins, founder of Numenta and author of On Intelligence, about the Thousand Brains Theory and reverse-engineering the neocortex. They also cover Hierarchical Temporal Memory and brain-inspired AI architectures.

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

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.

A standing whiteboard conversation at Lang.NEXT 2012 among Carl Hewitt, Erik Meijer and Clemens Szyperski about the actor model. Hewitt, who originated the model, explains its foundations.

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 1974 talk-show-style interview with the original developers of APL, including Iverson, Falkoff and Breed. They discuss how the language originated.

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.

An open Q&A with Python creator Guido van Rossum hosted by Microsoft Reactor, covering his career, PyCon's origins and his opinions on other languages.

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

ThePrimeagen interviews Chris Lattner, creator of LLVM, Clang, Swift and Mojo, with TJ DeVries, in a long live-streamed conversation. They discuss language design and Lattner's experience building Swift.

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 30-minute edit of a conversation between Adam Curtis and Russell Brand in which Curtis explains HyperNormalisation and his ideas on individualism, power and real change.

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

Physicist Jacob Barandes discusses his view that quantum mechanics can be formulated without wave functions, using a stochastic, probabilistic approach. The long interview covers measurement, the foundations of quantum theory and the history of the field.

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 long interview with former KGB agent Yuri Bezmenov describing what he calls ideological subversion, a process of demoralizing a nation. He claims it works by influencing academia and media over years.

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.