turing

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.

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.

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 36-minute animated deep dive from Branch Education into how DRAM works. It shows how memory connects to the CPU and how billions of bits are stored in nanoscale capacitor cells. It also covers why DRAM sits between SSDs and the processor.

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.

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.

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.