turing completeness

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.

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.

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.

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.

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.

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.

Asianometry explains the EUV light source inside ASML's lithography machines, where lasers hit falling tin droplets twice to produce 13.5 nm light. It walks through the engineering of the droplet generator, the pre-pulse and main laser, and the plasma that results.

A short Al Jazeera animation narrated by Amy Goodman presenting Noam Chomsky's five filters of the mass media: ownership, advertising, media elite sourcing, flak and a common enemy. It is part of the MediaTheorised series.

Numberphile's Dr James Grime explains the flaw in the Enigma machine, namely that a letter could never be encrypted to itself, and how that helped the Allies break the code. It touches on the Bombe and Alan Turing.

Machine Thinking tells the story of the Cold War Heavy Press Program, the giant forging presses that make parts for aircraft, missiles and turbines.

Engineering Explained compares the lifecycle emissions of keeping an old car with those of buying a new, more efficient one. It weighs manufacturing emissions against emissions from driving, and covers gas versus electric cars.

Asianometry explains why Russia cannot replace TSMC after sanctions halted chip shipments. It looks at Russian chip designers such as Baikal, MCST and Yadro, and at Russia's lagging domestic manufacturing capacity.

Sandy Munro and Cory discuss how Tesla Model 3 and Model Y bodies in white have evolved over five years, including giga castings and lean design.

Asianometry's short analysis of SMIC's N+2 node, China's 7nm leap forward. It considers how far behind the competition SMIC still is.

Part 3 of WIRED's Future Cities series on Shenzhen. It examines how attitudes toward patents and intellectual property differ from the West, and how shanzhai (copycat) manufacturing created an ecosystem of rapid iteration and distribution.

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.

A video tour of Apple's highly automated Macintosh factory in Fremont, California, where the Mac SE and Macintosh II were built.

A Veritasium video touring Relativity Space and explaining why 3D printing whole rockets cuts tooling costs, allows rapid iteration, reduces part count and enables new designs. It includes an interview with Scott Manley on aerospace engineering.

Matt Parker talks Numberphile through the different kinds of numbers: algebraic, transcendental, computable, normal, and beyond. It shows how few numbers we can actually name or describe.

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.

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.

The first video in a series on extremely large numbers, introducing the topic with examples. Later parts go deep into the fast-growing hierarchy.

John Conway talks in a short Numberphile interview about his mixed feelings toward the Game of Life, his most famous invention. He says he is not especially pleased that it overshadowed his other work.

An excerpt from Hal Abelson's opening SICP lecture introducing computer science and contrasting declarative and imperative knowledge. He argues that computer science is not really a science and is more like magic or engineering of ideas.

An animated, musical visualization of Conway's Game of Life showing patterns made in the Golly program.

Bill Hammack of Engineer Guy explains the engineering behind the aluminum beverage can: why it is cylindrical, how it is manufactured, why it narrows at the top, the double seam, and how the pull tab works.

Engineering Explained works through whether electric cars are really worse for the environment than gasoline cars. It covers battery production emissions, the electricity mix used to charge, and how long an EV takes to break even on lifetime emissions.

Seeker's Focal Point short documentary on ASML's extreme ultraviolet lithography machines, which make the most advanced chips. It shows how plasma-generated 13.5 nm light is used to push Moore's Law forward.

First of an 18-part lecture series by engineer Dan Gelbart on building prototypes. The series covers practical mechanical design and fabrication of precision machines.

Designer Thomas Thwaites describes his attempt to build a toaster from scratch, from mining ore and deriving plastic from oil. It is a short TED talk on how much civilization a simple object depends on.

A behind-the-scenes tour of the ILFORD factory in Mobberley, England, showing how black and white film, paper and chemicals are made. It walks through emulsion making, coating, finishing, QC and distribution.

An excerpt of Richard Feynman's 1985 lecture Q&A about whether machines can think. He discusses the difficulty of defining what computers can never do and compares machine intelligence to machines that don't copy animals.

Drone footage over Tesla's Fremont factory in January 2021 that captures a Gigapress die-casting machine in operation.

A short 'How It's Made' television segment showing the industrial process of turning canola seed into cooking oil. It walks through pressing, solvent extraction and refining steps.

A WSJ report on China's 'dark factories', highly automated plants run by robots with little human presence, visiting Zeekr's EV factory. It covers Chinese labor costs, automation and overproduction in the EV industry.

Marques Brownlee walks through Tesla's factory with Elon Musk, showing production lines for the Model S, X and 3.