type safety

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.

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.

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.

Computerphile interviews AI safety researcher Rob Miles about ChatGPT: how it was trained with human feedback, why it tends to produce confident nonsense, and where it may or may not be dangerous.

A 42-minute CBS interview with Geoffrey Hinton at the Vector Institute in 2023, covering the history of neural networks and the present and future of AI. He discusses AGI timelines and whether language models truly understand.

A June 1986 CNN interview with physicist Richard Feynman about the Challenger disaster and the management failures he found while serving on the investigating commission.

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 1968 Firing Line interview in which Milton Friedman explains the negative income tax, a proposal to replace welfare bureaucracy with direct payments.

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.

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.

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 Lex Fridman podcast conversation with Elon Musk focused on Tesla Autopilot, covering the motivation for Autopilot and Musk's views on self-driving safety and autonomy.

A WSJ interview in which Apple's Craig Federighi explains Apple's CSAM scanning and child-safety features, including neural hashes and safety vouchers, and defends them against backlash.

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.