sentry safe

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.

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 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 2019 extended interview in which Connie Loizos talks with Sam Altman about his work, OpenAI's capped-profit structure, its mission toward safe artificial general intelligence, and criticisms the organization faces.