repl

Ronald Minnich of Google explains how UEFI firmware is a large closed attack surface and describes Google's work replacing it with Linux-based boot firmware. It also touches on Intel ME and other security coprocessors.

Veritasium's long documentary on the history of Monsanto's herbicides, including glyphosate, and how patented seeds prevent farmers from replanting. It covers agricultural chemistry, litigation and corporate practices.

LabCoatz uses mass spectrometry, with help from other science YouTubers, to reverse engineer the Coca-Cola flavor and builds a chemically-identical replica. The video walks through a year of work on the formula.

A tutorial in the GAS Therapy series showing how to recreate the Teenage Engineering OP-1 and OP-1 Field with free software. It argues you do not need to buy expensive gear to make music.

James Trunk introduces Clojure syntax and thinking, covering its core data structures, immutability, the thread-last macro and live data analysis in the REPL.

David Nolen explains how ClojureScript is used at Vouch.io to build mobile and web software with a single language and REPL-driven workflow. The talk includes a live coding demo of React Native development.

A Motherboard documentary in which a reporter lives on nothing but Soylent for 30 days after founder Rob Rhinehart's own experiment. It looks at the effects on health, Silicon Valley and the future of food.

A Google Tech Talk by the author of Kilim, a Java library for lightweight actor-style message passing. It argues that message passing can replace shared-memory concurrency and claims performance competitive with or better than Erlang for huge numbers of actors.

Mark Bastian contrasts top-down object-oriented design with bottom-up, data-oriented design in Clojure. He models a board game as plain data plus small composable functions and compares it with a roughly 22-class OOP version.

Jack Rusher's Strange Loop 2022 talk argues that most programming languages are still designed around punchcard-era assumptions. He makes the case for live, interactive programming environments, drawing on Lisp, Smalltalk and REPL-driven development.

A 1975 live demonstration of the APL language by Imperial College professor Bob Spence, showing a REPL on a modified typewriter terminal and APL's appeal to non-programmers.

Marco Baringer's tutorial video on SLIME, the Emacs mode for developing Common Lisp. It demonstrates the interactive workflow of working against a live Lisp image.

A screencast tutorial on Specter, a Clojure library for navigating and transforming nested data structures declaratively, demonstrated in a REPL.

A DConf 2019 talk by Robert Schadek arguing that spreadsheets are the world's dominant programming language and that D can be used to replace them. It looks at spreadsheet quirks and then at techniques for moving away from them.

A Strange Loop talk presenting an open-source library that integrates Clojure into the Unity 3D game engine. It covers REPL-based live coding, macros, DSLs and persistent data structures for game development.

Sasa Juric explains what makes Erlang and Elixir suited to server-side systems, focusing on the BEAM concurrency model rather than syntax or ecosystem. He demonstrates processes, supervision, and fault tolerance.

Will Wilson of FoundationDB explains how the team tested their distributed database using deterministic simulation. By running the whole system in a simulator with injected faults and reproducible seeds, they could find rare concurrency and network bugs.

The first episode of James Burke's 1978 BBC series Connections traces modern dependence on complex technological networks, starting with the 1965 New York blackout, and moves through ancient agriculture to Kuwait's oil-driven leap.

Richard Hamming's 1995 recording of his talk 'You and Your Research', drawn from his graduate engineering course. He discusses how great scientists pick important problems and build careers, drawing on his years at Bell Labs.

Rick Reed of WhatsApp explains at Erlang Factory 2014 how the service scaled to billions of messages with a very small engineering team. He covers the FreeBSD and Erlang stack, Mnesia usage, server counts and bottleneck work.

Martin Kleppmann argues that databases are global shared mutable state and proposes treating them as an ever-growing log of immutable facts. Derived data such as caches, indexes and views is then built by stream processors like Apache Samza. The talk draws on Kafka and LinkedIn's experience with commit logs.

Rob Pike's Google I/O 2012 talk shows how goroutines and channels solve tricky concurrency problems with simple Go code. It features a playful goroutine demo with gophers passing messages and a search engine example.

Martin Kleppmann's GOTO Berlin 2016 talk on how collaborative editors, offline apps, and multi-datacenter databases handle concurrent updates. It covers conflict resolution approaches including operational transformation and CRDTs, with a worked look at text CRDTs.

Paul Chiusano's Strange Loop 2019 talk introduces Unison, an open-source functional language for distributed, elastic systems. It covers content-addressed code identified by hashes of the syntax tree, a codebase manager, and algebraic effects called abilities.

Veritasium tells the story of how Shuji Nakamura and others made the blue LED, long thought nearly impossible. It covers the materials challenge of gallium nitride and the persistence it took.

A Medlife Crisis video by cardiologist Rohin Francis on overdiagnosis and over-screening. It explains how detecting more disease does not necessarily mean saving more lives, and covers harms such as unnecessary treatment.

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 2007 Google Tech Talk in which Cliff Click of Azul Systems presents a lock-free concurrent hash table that scales to 768 CPUs. He explains why it is correct by reasoning in a different way than usual happens-before and memory-order arguments.

Peter Alvaro's Strange Loop 2015 talk argues that query languages let you state what you mean, and applies that to distributed programming. It covers Datalog, Dedalus and the Bloom lineage for reasoning about distributed systems.

Physicist Angela Collier's roughly hour-long video on how string theory was hyped to the public and what that did to science communication. She traces the history of the theory as a narrative and argues it is interesting but was oversold.

Daniel Azuma's ElixirConf 2018 talk on whether Docker and OTP conflict. He shows they can coexist and uses Horde and DeltaCrdt, with a live tank-game demo, to keep state alive across container kills.

BobbyBroccoli's first of three parts on Jan Hendrik Schon, the Bell Labs postdoc whose fabricated organic semiconductor results nearly won a Nobel Prize. It covers his rise and the context around Bell Labs.

Leslie Lamport argues that programmers, like architects, should write rigorous specifications before coding, especially for concurrent and distributed systems. The talk introduces the case for writing specs (the TLA+ mindset) as a way of thinking above the code.

Zach Tellman's Clojure West talk covers the basics of queueing theory and its practical use in systems, including backpressure, how queues break down under load, and pitfalls of naive core.async use.

Veritasium explains why analog computing may suit AI workloads, covering old analog computers, The Analog Thing and Mythic's analog chips that use flash memory for neural network inference. It argues digital hardware is hitting limits.

Dan Robinson, then CTO of Heap, explains how Heap runs its product analytics backend on PostgreSQL and CitusDB. It covers conversion funnels, retention and cohort queries across tens of billions of events and 50 TB of data, plus Postgres and Kafka together and the indexing strategy.

A 2018 GDC panel where Raph Koster, Starr Long, Richard Garriott and Rich Vogel look back on what went right and wrong building and running Ultima Online. They share candid stories from the early days, including player behavior and server architecture.

Ruben Meerman presents a TEDx talk on the stoichiometry of weight loss, showing with lab demonstrations where fat goes when it is lost. He argues that most of it is exhaled as carbon dioxide.

Sean Carroll gives a Royal Institution talk tracing the history of quantum mechanics from Einstein and Bohr to today. He covers the Copenhagen interpretation and the many worlds interpretation.

The final lecture of Richard Hamming's Learning to Learn course, from 1995, based on his well-known talk 'You and Your Research'. It covers how to do important work and build a career.