type-level programming

WIRED has UCLA professor Amit Sahai explain zero-knowledge proofs to a child, a teen, a college student, a grad student and an expert. Each round goes deeper into the cryptography and why it matters.

Retro Game Mechanics Explained shows how the Atari 2600 draws images with almost no video memory, by having the CPU race the CRT beam line by line. It walks through the techniques in detail.

Everyday Astronaut's Tim Dodd runs an hour-long, data-driven analysis of what rockets actually emit and how that compares with airliners and other industries. It breaks down exhaust by propellant type, per-passenger and total emissions, and ways launches could be cleaner.

Everyday Astronaut explains the basic physics of rocket engines, the main engine cycles and fuel types, then compares SpaceX's methane-fueled full-flow staged combustion Raptor to other engines. It runs nearly 50 minutes with chapter markers.

Technology Connections explains why humidity matters and compares the main types of humidifiers, including evaporative and ultrasonic designs. It covers how and why you would add moisture to indoor air.

Veritasium visits the US Navy's Crane facility to test top night vision goggles. It explains how image intensifier tubes and thermal or digital systems work and compares the generations of the technology.

Wendover Productions explains why American towns, retail and buildings increasingly look alike, covering zoning pressures, corporate standardization and cheap construction types like 5-over-1 buildings.

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.