turing machine

Johnny Harris investigates why McDonald's ice cream machines are so often broken, covering the Taylor machines, the repair restrictions on franchisees and the Kytch workaround device.

Branch Education's animated deep dive into ASML's EUV photolithography machine and how it prints nanometer-scale transistors onto chips. It covers the system's components and the process of chip manufacturing.

Technology Connections takes apart the step-by-step electromechanical logic of a 1970s pinball machine. He shows how relays, steppers and switches track state and score without electronics.

Technology Connections takes a long, detailed look at how a 1970s electromechanical pinball machine works, from relays to stepper motors and mechanical logic. It is the first part of a series.

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.

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.

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.

Jared Owen's 3D animated breakdown of how a Brunswick GS-X bowling pinsetter works, showing its mechanisms for sweeping, lifting and resetting pins and balls.

Veritasium explains how ASML's EUV lithography machines make the most advanced computer chips, covering the engineering of the light source, mirrors and the supply chain around them. It is a long-form explainer on the world's most complex commercial machine.

A Business Insider World Wide Waste episode on H&M's garment recycling machines, which turn used clothing into new apparel. It asks whether a fast fashion company can solve the waste problem it helped create.

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.

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.

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.

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.

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.

Veritasium traces analog computers from the Antikythera mechanism and Kelvin's tide-predicting machines to fire control and modern analog approaches. It explains how these machines computed continuously rather than digitally.

A Veritasium video on AlphaFold, DeepMind's protein structure prediction system, and the protein design work it enabled. It features interviews with John Jumper and with David Baker's protein design group and explains why predicting protein folding matters.

Yosh trains a reinforcement learning agent to drive Trackmania until he can no longer beat it. The video explains how the training works and the design choices involved.

Technology Connections explains how the simple American drip coffee maker works, including the bimetal valve and bubble-pump heating, and compares the original Mr. Coffee with modern machines.

Real Engineering's Brian McManus explains Helion's approach to nuclear fusion: colliding two plasma rings, compressing them magnetically, and capturing energy directly from the changing magnetic flux rather than boiling water. It covers why this pulsed design sidesteps problems of tokamaks and laser fusion.

Aaron Francis walks through how PHP has changed from 2012 to 2023, covering traits, array destructuring, generators, typed properties and more. It is a quick chaptered tour of modern PHP features.

Wendover Productions explains the wave of supply shortages in 2021, arguing the causes go beyond COVID. It covers how just-in-time manufacturing was applied, container imbalances and the chip shortage.

Linus Tech Tips reviews the first Framework Laptop, a fully repairable and upgradeable machine. The reviewer expected a flimsy chunky device and was happily surprised.

Autoline's John McElroy and Caresoft president Terry Woychowski look at the BYD Seagull, an electric hatchback that sells in China for about $11,500. Woychowski points out the cost-saving design and manufacturing choices, and McElroy takes it for a short test drive.

Steve Mould explains motion amplification and video magnification, techniques that find tiny changes in video invisible to the eye and exaggerate them. He covers the MIT research and industrial uses such as diagnosing vibrating machinery.