term rewriting

CuriousMarc connects a restored 1930 Model 15 Teletype to a Linux machine and uses it as a terminal, after commenters requested it. The video shows the challenges of linking a 5-bit mechanical device to a modern OS.

Casey Muratori follows up his refterm proof-of-concept, a GPU-based terminal renderer, with a second part covering memory usage, glyph sizing and correct Unicode and VT handling. It is built to show that a terminal can be fast and correct without heroic effort.

Sabine Hossenfelder explains superdeterminism as an interpretation of quantum mechanics, addressing common objections and misconceptions, including the worry that it kills free will or science. She ties it to Bell's theorem and hidden variables.

Microsoft's short announcement video for the new Windows Terminal, a modern terminal app for Command Prompt, PowerShell and WSL. It is a stylized trailer for the unreleased project.

Corridor Crew dive into the visual effects of Terminator 2 and try recreating the T-1000 bars scene with modern tools. They explain how the original effects were achieved.

A 1995 Letterman appearance in which Bill Gates explains the origins of Microsoft and tries to convince Dave to get a computer and get online.

A clip from a 1995 Late Show with David Letterman in which Bill Gates discusses Microsoft's origins and the internet while Dave is skeptical of computers.

Casey Muratori shows how fast a terminal renderer can run, building a simple reference renderer that handles Unicode and colored text far quicker than Windows Terminal. He argues that common excuses for slow terminals do not hold up.

A 10-minute 3Blue1Brown chapter explaining the determinant as the factor by which a linear transformation scales area or volume. It builds the idea geometrically with animations before any formulas.

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.

Casey Muratori's first refterm lecture lays out philosophies of optimization, distinguishing optimization from non-pessimization, which means avoiding needless work. It uses his fast terminal renderer project to show how fast computers really are.

Timothy Gowers thinks aloud, in real time, as he tries to understand why Pascal's determinant equals 1. He does not fully solve it in this episode, but shows his exploratory process.

Grace Hopper appears on Letterman and uses a foot-long piece of wire to show how far light travels in a nanosecond.

Computerphile video in which Mike Pound explains a University of Maryland paper on watermarking LLM output. The method biases token choices so generated text can later be detected statistically.

A short clip of Bill Gates appearing on David Letterman's show in 1995 trying to explain the value of the internet. Letterman is visibly unconvinced.

CGP Grey explains why "Indian" is often preferred over "Native American" in the United States, especially near reservations, and how many tribes exist in the US. He draws on conversations with people who identify as Indian.

A seven-minute demo from the author of Notcurses, a C library for text user interfaces. It shows the 2.3.0 release, which adds Sixel and Kitty bitmap graphics integrated into its multiplane character-graphics model.

The first of seven parts of RedLetterMedia's long review of Star Wars: The Phantom Menace. It argues that the film's central flaw is its characters and the lack of audience connection.

Mike and Jay of RedLetterMedia discuss Starship Troopers, covering its legacy, why people like or dislike it, and its reading as sci-fi action satire versus the Heinlein book.

RedLetterMedia's Mike and Rich review the first episode of Star Trek: Picard. It is a long, jokey and critical take from long-time Star Trek fans.

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.

CGP Grey's five-minute animated explainer on how copyright terms grew from 14 years to life plus decades. It uses Disney and Star Wars examples to argue the system has gone wrong.

A short 2009 video of Jeff Bezos talking about Amazon and Zappos. He discusses customer focus, invention and long-term thinking.

A RacketCon talk presenting Fructure, a prototype extensible structured editing engine in Racket. Language providers define syntactic forms and refactorings as rewrite rules, and editing operates on program structure rather than on text.

A Kurzgesagt animation on longtermism, arguing that because the future could hold trillions of people, our actions' effect on future generations may be what matters most.

A short 2007 demo of Pizza Party, a command line program that orders Domino's pizza from a UNIX-like terminal. The video shows the designers placing an order using the software.

A 1986 SNL sketch in which Phil Hartman's Reagan seems clueless in public but is a scheming mastermind in private.

A five-minute lightning demo of VisiData, a terminal tool for exploring and manipulating data. It uses two months of NYC 311 complaint data to drill down, plot points on a virtual map and save selected rows.

Joran Dirk Greef's Systems Distributed '23 talk on TigerStyle, the engineering methodology behind TigerBeetle. It covers designing safer systems in less time through up-front design, assertions, and deterministic simulation.

A short explainer on the physiological differences between fasting and simply eating less. It covers ketosis, ghrelin and hunger waves, and the hormonal effects of fasting.

A 2018 GDC talk by NetherRealm's Michael Stallone on the engine changes, optimizations and tooling needed to roll back and re-simulate up to 8 frames in 16 ms in Mortal Kombat and Injustice 2. It is a deep dive into deterministic rollback netcode.

SQLite creator Richard Hipp gives a history of SQLite and explains where it shines as a database at the edge of the network with no DBA. He covers long-term support, testing and how it is used in products.

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.

Dr. Jason Fung's talk at the 2018 CrossFit Health Conference on therapeutic fasting for weight loss. He explains why long-term weight loss is hard and tackles common myths.

Norm Macdonald's 2015 appearance on Letterman's final Late Show, delivering a deadpan bit about Germany and its military history. Jerry Seinfeld reportedly called it Norm's best joke.

The author of lazygit demos 15 features of his terminal UI for git, such as staging individual lines and easier rebasing, aimed at making common git tasks simpler.

A PBS Space Time episode asking whether the universe's information can ever truly be lost, tying quantum mechanics, determinism and black holes together. It sets up the black hole information paradox.

A five-minute animated explainer of liquid democracy, in which voters can delegate their vote to trusted people. It starts from the origins of democracy and contrasts direct and representative models.

A UCTV panel with endocrinologist Robert Lustig, dentist Cristen Kearns and health policy expert Laura Schmidt on how the US food system and sugar industry influence diet and health, including industry efforts to shape the science.

Veritasium explains the Dzhanibekov effect, also called the tennis racket theorem, where a spinning object flips unexpectedly about its intermediate axis. The video gives an intuitive account of the underlying rotational dynamics, drawing on Terry Tao's explanation and the original papers.