type-level programming

Professor Brailsford of the University of Nottingham describes how the university set out to print its own mathematics exam papers in the 1980s. The story centers on getting a Mergenthaler Linotron 202 typesetter to work with their own software.

A Design Club episode that analyzes how Super Mario Bros. level 1-1 teaches players to play through level design alone, without text tutorials.

WIRED's 5 Levels format with Jacob Collier explaining harmony to a child, a teen, a college student, a professional and Herbie Hancock.

Bill Hammack of engineerguy uses slow motion video to show how the IBM Selectric typewriter works. He focuses on its fully mechanical digital-to-analog converter, which turns key presses into rotation of the type ball.

IBM's Dr. Talia Gershon explains quantum computing to five people of increasing expertise: a child, teen, college student, grad student and professional. The WIRED series format moves from simple analogies to technical detail.

Tom Scott explains for Computerphile why handling time and timezones in code is so hard, walking through a simple web app that computes how long ago something happened. It covers the quirks of timezones and calendars and ends in an exasperated rant.

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.

The first episode of Crash Course World History, in which John Green covers the shift from hunting and gathering to agriculture and how it shaped civilization. It is delivered fast and with jokes.

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.

Numberphile's James Grime introduces quaternions, a type of number beyond the complex numbers, building up from real and complex numbers and explaining why they are useful.

CGP Grey, adapting The Dictator's Handbook, explains how rulers keep power and why succession causes trouble when they die. It is the sequel to his video on the rules for rulers.

An 8-minute explainer on the Lightning Network and how it relates to Segwit, Bitcoin and Litecoin. It covers how off-chain payment channels route payments to scale blockchain transactions.

A short FoundMyFitness explainer on the trade-off between growth hormone/IGF-1 and longevity. Higher IGF-1 helps muscle and cognition, while lower levels are linked to longer lifespan and stress resistance.

A short video explaining the Intel Management Engine, a hidden embedded computer inside Intel machines with deep access to hardware. It is presented from an insider's perspective and raises backdoor and NSA concerns.