repl

Bryan Cantrill presents the ARC (Adaptive Replacement Cache) paper by Megiddo and Modha at Papers We Love. He opens with a survey of caching strategies before digging into the self-tuning LRU/MFU design.

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.

A short CGP Grey explainer on the alternative vote (instant runoff voting) versus first past the post, made around the 2011 UK referendum. It shows how ranked ballots are tallied and why they avoid spoiler effects.

Veritasium explains why a large share of published research findings may be false, covering p-values, p-hacking, publication bias and low replication rates. It draws on John Ioannidis's well-known paper and describes reforms such as preregistration.

A two-minute clip of Richard Feynman explaining why he considers much of social science pseudoscience. He stresses how easy it is to fool yourself and how much care real knowledge takes.

John Oliver's Last Week Tonight segment on how media outlets report incomplete or untrue findings as settled science. It covers sensational headlines, small studies and pressure on researchers.

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 two-minute clip of Richard Feynman on the social sciences, discussing what counts as real science versus pseudo science.

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.

Drew Berry shows scientifically accurate animations of molecular processes inside cells, such as DNA replication, at TEDxSydney.

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.

A three-hour PyCon 2016 tutorial by Christophe Pettus that orients Python developers to PostgreSQL. It covers installation, administration, and use, including vacuuming, MVCC, replication and backups.

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 Computer History Museum demonstration with Dan Ingalls of Smalltalk-76 running on a Xerox Alto, recorded in 2017. He shows the live environment and discusses the system.

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.

Ron Garret's Google Tech Talk argues that quantum mechanics is no harder to understand than relativity and that popular accounts wrongly rely on the Copenhagen interpretation. He presents measurement as entanglement and explains phenomena like the quantum eraser.

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.

Rich Hickey's 2013 talk applies language-design thinking to whole systems, covering names, queues, data, failure, and the interfaces between programs. It ends with a call to action for building systems holistically.

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.

The Eames Office's 1977 film Powers of Ten starts at a picnic in Chicago and zooms out by a factor of ten every ten seconds to the edge of the universe. It then zooms inward to a proton in a carbon atom.

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.

A short clip of Richard Feynman explaining the scientific method: guess, compute consequences, compare to experiment, and why vague theories like astrology cannot be proven wrong.

A DEF CON 26 talk by investigative journalists and hackers on the fake science industry, with bogus conferences and predatory journals that give studies false credibility. It draws on a large investigation into the money behind them.

Technology Connections explains how LED traffic lights, which do not melt snow, drew complaints and were blamed for accidents. He uses it to illustrate the 'but sometimes' fallacy against new technology.

John Ousterhout's slides-and-voiceover lecture on Paxos, made for the Raft user study comparing how students learn Raft and Paxos. It is a full introduction to the Paxos consensus algorithm.

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 1983 BBC interview in which Richard Feynman is asked how magnets work and explains why 'why' questions are hard to answer in everyday terms. He reflects on what counts as an explanation and the limits of analogy.

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.

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.

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.