turing complete

A short SIGBOVIK 2017 presentation by Tom Wildenhain showing that PowerPoint animations are Turing complete, with a working Turing machine built in slides. The talk is delivered deadpan as a serious research result.

Kyle Hill of Because Science explains and demonstrates, using real cards, how Magic: The Gathering can be used to build a Turing machine, a computer inside the card game.

Veritasium's explainer on Godel's incompleteness theorems and the limits of mathematical proof, tracing set theory, Hilbert's program and the road to Turing and modern computing.

Christopher Domas's Derbycon 2015 talk on the M/o/Vfuscator, a compiler that emits only x86 mov instructions, showing mov is Turing complete. It explains how a full machine is built from mov and why the output is a nightmare to reverse engineer.

A two-minute video of Conway's Game of Life running inside Conway's Game of Life, built from OTCA metapixels and Golly. It zooms smoothly between scales.

Tom Wildenhain's guest lecture for CMU's Esoteric Programming Languages course shows that PowerPoint transitions and slides are Turing complete without macros, building up to a mind-bending fractal ending.

Tom Murphy's satirical SIGBOVIK 2007 presentation, delivered under a pseudonym, proving that generalized Super Mario Bros. is NP-complete. It is a short, deadpan take on a complexity theory result.

A Computerphile video in which Mark Jago of the University of Nottingham explains Turing's halting problem and how it led to the blueprint for the modern computer.

Pro Magic player Luis Scott-Vargas triggers a mandatory-action infinite loop on Magic Online, and the game stalls in a non-terminating state.

A nine-minute excerpt from the 1992 documentary Manufacturing Consent in which Noam Chomsky summarizes how corporate media shapes public discourse.

A short demo of a playable Space Invaders game built inside Dwarf Fortress, with a downloadable map. It shows the game's mechanics used as a computing substrate.

A HOPE09 talk on how modern computer chips are manufactured, from 22nm transistors to ultra-clean fabs and the tricks used to pattern tiny features with light. It frames chipmaking as hacking electrical engineering and physics.

Destin Sandlin of Smarter Every Day tries to manufacture a grill scrubber entirely in the United States. Along the way he runs into missing supply chains, tooling and institutional manufacturing knowledge.

Strange Parts tours JLCPCB's large PCB factory in Huizhou, China, walking through the printed circuit board manufacturing process step by step. It shows the machinery, quality checks and scale behind cheap prototype boards.

Hennessy and Patterson's 2018 Turing Award lecture at ISCA, A New Golden Age for Computer Architecture. It covers domain-specific hardware, security, open instruction sets and agile chip development.

Branch Education walks through a semiconductor fab and the dozens of steps used to turn silicon wafers into microchips, with 3D animation. It covers lithography, deposition and etching at a high level.

A 1936 Chevrolet promotional drama, 'Master Hands', showing car manufacturing from foundry to finished vehicle in Flint, Michigan. It is a National Film Registry selection and a record of early mass production.

The Michigan TypeScript group shows the Doom engine running entirely inside the TypeScript type system. It is open source, and two follow-up videos cover why and how they did it.

The first lecture of an MIT course on Douglas Hofstadter's Godel, Escher, Bach, covering themes like self-reference, recursion and incompleteness. The full lecture series is on YouTube.

Scott Aaronson's Harvard CMSA talk traces what mathematical truths are knowable, from Godel and Turing to the Busy Beaver function. He covers recent work on Busy Beaver values.

Destin Sandlin tours United Launch Alliance's rocket factory with CEO Tory Bruno, showing friction stir welding, structural rocket skins and large milled parts.

Destin Sandlin of Smarter Every Day tours a Kodak factory to show how photographic film is manufactured. This is part one of a three-part series covering the large-scale coating and production process.

Destin Sandlin tours a progressive metal stamping factory, showing machines that stamp millions of metal parts and the tooling behind them.

Stanford Blitzscaling class session where Reid Hoffman interviews Eric Schmidt about structuring teams and scaling Google. Topics include Alphabet, hiring, and how Chrome and Android operated inside the company.

Footage of the Mercedes A-Class production line at the Rastatt plant in Germany, filmed in 2013. It shows robots and fixtures working through assembly.

An 11-minute animated introduction to P vs. NP and the wider landscape of complexity classes, inspired by the Complexity Zoo wiki. It assumes no background in computer science.

Polylog explains how algorithms can be turned into circuits and encoded as satisfiability problems, which lets you effectively run them backwards. It uses this to motivate breaking RSA, general reductions to SAT, and what P vs NP is really asking.

The complete six-stage album series Everywhere at the End of Time by The Caretaker, about 6.5 hours of music that depicts the progression of dementia through distorted, decaying old ballroom recordings.

An Autoline After Hours episode where Sandy Munro discusses his complete teardown of the BMW i3, along with automotive journalists. It covers the car's carbon fiber construction and manufacturing technology.

An Autoline After Hours episode with teardown expert Sandy Munro and a panel of auto journalists. It covers his Tesla Model 3 teardown, including the battery, drive modules, build quality and manufacturing automation.

Machine Thinking argues the 1751 machine, a metal-cutting lathe associated with Vaucanson, triggered the biggest explosion of wealth in history by enabling precise manufacturing of other machines.

Valve's short video on building the Steam Controller on a heavily automated assembly line, which the company designed itself. It shows the robotic manufacturing process and US final assembly.

A lecture by Noam Chomsky on thought control in democratic societies, covering propaganda and manufacturing consent. The upload has no description.

Autoline's John McElroy visits Sandy Munro's shop, where a Tesla Model 3 is being prepared for a teardown benchmarking study. Munro, with deep design and manufacturing experience, points out issues he dislikes about the car's build.

A NeXT, Inc. promotional video showing its highly automated factory and the manufacturing of the NeXT Cube, including automated circuit board assembly.

Markus Kayser's Solar Sinter project video shows a machine in the desert using sunlight and sand to 3D print glass objects. It is a short demonstration of desert manufacturing from renewable energy and local material.

Philip Wadler's Strange Loop talk on Propositions as Types, the link between logic and computation (the Curry-Howard correspondence). He traces its history through Church, Godel and Turing and shows how it shaped theorem provers and programming languages.

2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives. It touches on Church encodings and the equivalence of Turing machines and lambda calculus.

A WIRED Future Cities documentary on Shenzhen, covering its hardware-prototyping culture and shanzhai copycat manufacturing. It looks at how the city's ecosystem evolved and what the rest of the world can learn.

Machine Thinking traces where mechanical precision comes from, from flat surface plates and the three-plate method up through lathes and early measuring tools. It is the first in a series on recreating the first micrometer.