sum types

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 excerpt of Jon Stewart interviewing former Treasury Secretary Larry Summers about the causes of inflation and whether workers or corporate profits are to blame. It comes from an episode of The Problem With Jon Stewart.

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.

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.

Elon Musk joins the All-In Summit 2023 by Starlink for an interview on Ukraine and Starlink, X, the creator economy, China, AI and self-driving.

A Ray Summit 2022 keynote fireside chat between OpenAI's Greg Brockman and Anyscale's Robert Nishihara. They discuss how OpenAI's training infrastructure evolved and its use of Ray.

Tim Dodd of Everyday Astronaut tours SpaceX's Starbase with Elon Musk as guide. They cover the high bay, grid fins, Raptor V2, the HLS lander and stage separation, and Musk explains his engineering management process.

Everyday Astronaut takes a tour of SpaceX's Starbase with Elon Musk as guide. Topics include the Raptor engines, launch escape systems, the heat shield and the first orbital test.

Dwarkesh Patel interviews Andrej Karpathy on why reinforcement learning is flawed, why AGI may blend into steady GDP growth, why self-driving took so long, and the future of education. The conversation runs about two and a half hours.

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

FTC Chair Lina Khan sits down with Jon Stewart on The Daily Show to discuss the agency's work protecting consumers from unfair business practices. Topics include the FTC's antitrust lawsuit against Amazon, healthcare industry actions, and whether tech companies are racing to control AI.

A Channel 4 News interview with technologist Jaron Lanier, who argues that social media damages people's lives. He discusses how Facebook, YouTube and Google use algorithms and data collection to shape what users see.

A Vanity Fair Summit conversation between Elon Musk and Sam Altman, moderated by Andrew Ross Sorkin. They discuss the future of technology, including AI and the simulation hypothesis.