the knowledge

Jonathan Blow's DevGAMM 2019 talk argues that software knowledge is being lost between generations and that growing layers of abstraction could lead to a decline in technological civilization.

Mathematician Kevin Buzzard explains why he believes the Lean theorem prover will shape the future of mathematics, and describes digitizing his university curriculum in Lean with undergraduates, plus the cultural challenges.

Eugenia Cheng gives the opening keynote at Lambda World 2017, presenting category theory as very abstract algebra whose abstraction gives it broad applicability. She applies it to everyday questions including privilege and prejudice.

Tom LaGatta's talk on category theory at a 2014 LispNYC meetup, covering objects, morphisms and the basic ideas in an informal, conversational style. It runs about 97 minutes.

Nadia Polikarpova's Strange Loop talk on program synthesis driven by refinement types, as in Synquid. It shows how rich type specifications can be turned into verified, executable code.

Dan Callahan presents Mozilla Persona, a decentralized, cross-browser authentication system that removes site passwords, at PyCon 2013. He explains how the protocol works and how to add it to a Python site.

Erik Meijer argues that category theory is the mathematicians' version of interface-based design. He shows that Java 8 lambdas and method references form a Cartesian closed category.

The 2016 Isaac Asimov Memorial Debate, moderated by Neil deGrasse Tyson, in which a panel of physicists and philosophers debates whether the universe is a simulation. Participants include David Chalmers, Zohreh Davoudi and James Gates.

Will Wilson explains autonomous testing: using deterministic simulation and fuzzing, building on FoundationDB's approach, to test software continuously. It sets out the ideas behind his later company Antithesis.

A DevGAMM talk by Jonathan Blow arguing that civilizations can lose technological capability and that software quality is already deteriorating. He discusses how knowledge fails to transfer between generations.

Sam Harris's talk at the 2012 Global Atheist Convention on the secular attitude toward death and living in the present moment, with a guided meditation element.

The Browser Company's CTO explains how the team is building the Arc browser for Windows using Swift. It covers the de-risking work and why they believe it is feasible.

William Byrd presents at Papers We Love NYC on what he calls the most beautiful program ever written, a Lisp interpreter written in Lisp. He walks through the metacircular interpreter and related ideas, and demos relational programming and program synthesis near the end.

Meredith Patterson and Sergey Bratus argue that networked software stays insecure because protocols and inputs are too complex to recognize safely. They propose using formal language theory and grammars to build secure, verifiable input handling.

Mick Gordon's GDC 2017 session on composing the Doom (2016) soundtrack. He details his compositional process, production techniques and the experimental instrument and synth design behind the music.

Dylan Beattie's entertaining NDC talk imagines an alternate history of the web, asking what if different decisions had been made on operating systems, browsers and standards. It blends real history with humor.

Conal Elliott presents his paper on automatic differentiation, deriving a simple, generalized AD algorithm from a natural specification. Varying the representation of derivatives yields forward and reverse mode algorithms that avoid the complexity and statefulness of backpropagation.

Alexander Rose of the Long Now Foundation describes the design and construction of the 10,000 year clock conceived by Danny Hillis. He covers the project's history, methods, and how different cultures built things to last millennia.

Documentary filmmaker Cassie Jaye explains how making The Red Pill led her, a feminist, to reevaluate her assumptions about the Men's Rights movement. She argues for listening to people you think of as the enemy.

Joscha Bach's 35C3 talk offers an AI perspective on the soul, covering perception, mental representation, agency, consciousness and selfhood as things that can arise in a computational system like the brain.

José Valim's ElixirConf US 2023 closing keynote on the foundations of the Elixir type system, covering set-theoretic types and gradual typing with strong arrows.

Eric Chahi's GDC 2011 postmortem of Another World (Out of This World), describing how he built the game. He shows his polygon art approach, rotoscoping and animation tools.

Berkeley sleep scientist Matthew Walker presents the science of sleep and dreams and how sleep affects health and lifespan, based on his book Why We Sleep.

Frederick Raynal gives a GDC postmortem of Alone in the Dark, the game that helped create the survival horror genre. He covers how the team built it and shows some of the old tools used.

A full-day recording of the University of Utah computer science department's 50th anniversary event with panels, keynotes and talks by alumni and pioneers. It includes Ivan Sutherland's presentation on single flux quantum electronics.

Sam Aaron, creator of Sonic Pi, gives a demo-heavy GOTO Chicago 2018 talk on live coding music. He covers the history of Sonic Pi, how it evolved, and what it can do for education and professional musicians.

Psychologist Dan Gilbert argues in this TED talk that our psychological immune system lets us become happy even when things do not go as planned. He challenges the idea that we will be miserable if we do not get what we want.

Theo de Raadt presents pledge, a new OpenBSD security mechanism that kills processes which exceed the system calls they declared they need. The talk was given late at night at Hackfest 2015.

A Clojure/conj 2016 talk demoing Barliman, a prototype smart editor that does program synthesis. Given a partial program and tests, it completes the program using a relational interpreter written in miniKanren.

Scott Galloway's TED talk uses data to argue that young Americans are financially worse off than earlier generations, calling it a great intergenerational theft. He covers root causes and what could change it.

Chris Stucchio presents the ethical principles behind algorithmic decision making and shows with examples from lending, criminology and education that they cannot all be satisfied at once. The talk frames AI fairness as a set of quantitative tradeoffs.

Jafar Husain of Netflix explains at React.js Conf 2015 how Netflix runs React-style rendering without the DOM on smart TVs and game consoles. It uses a canvas-like API for performance.

Neurologist Dr. Matthew Phillips talks at Low Carb Gold Coast 2022 about fasting and ketogenic diets as therapies for cancer and neurodegenerative disease. He focuses on mitochondrial dysfunction and brain energy metabolism.

Tom Scott performs a fictional story at GeekyConf about the day Google accidentally stops checking passwords, letting anyone into any account. It works as a parable about how a single point of failure in login can unravel everything built on it.

Mathematician Hannah Fry's TED talk on patterns in dating and mate-seeking, including optimal stopping and three math-backed tips for finding a partner.

The Mentor (Loyd Blankenship) reads his 1986 essay "The Conscience of a Hacker" at H2K2 in 2002 and adds his own insight about its backstory.

John McCutchan of Google explains how Dart and the Dart VM expose SIMD instructions to speed up web software. He covers what SIMD is and how it applies to graphics and games.

Casey Muratori's remastered BICFest 2018 talk on how the collision system of The Witness was engineered to prevent whole classes of bugs found in game engines. It covers character movement and collision handling.

Neal Stephenson visits Google in 2008 to discuss his novel Anathem as part of the Authors@Google series. He talks about the book's world and takes audience questions.

A 2017 GDC session in which Nintendo's Breath of the Wild team walks through how the game's convention-breaking systems were built. It covers the 'chemistry engine' of material interactions and shows the early 2D prototype footage.