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.

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.

A short Coding Secrets episode explaining why hitting a Sonic 3D cartridge triggers a hidden level select. The cause was a custom crash handler that redirected CPU error interrupts to the level select screen.

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.

Freya Holmer's 74-minute video essay on splines, covering Bezier curves, B-splines, derivatives and the different levels of continuity (C0, C1, C2), built with custom animation tools. She notes she did not cover non-uniform splines.

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.

Matthias Wandel tests old and new code on a range of PCs, including a new mini PC, to measure how much faster modern hardware really is. He also shows optimization techniques such as branchless code, with benchmark programs on GitHub.

Real Engineering looks at why nuclear power plants are expensive and how their economics compare with fossil and renewable alternatives. It is based on a video from the Illinois Energy Professors.

A three-minute excerpt from Milton Friedman's Free to Choose in which he uses a pencil to show that no single person knows how to make it. He argues that the free market coordinates countless strangers peacefully.

Practical Engineering's explanation of the February 2021 Texas winter storm and the resulting power grid outage. It lays out the facts about ERCOT, the grid's isolation, and how generation across fuel types failed in the cold.

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.

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.

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.

Ward Cunningham explains the history and intent of the debt metaphor, which he coined while refactoring the WyCash product. He says debt means code reflecting an incomplete understanding of the problem, not sloppy programming.

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.

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.

Sabine Hossenfelder explains how her opinion on dark matter has shifted, weighing the evidence for and against it and the case for modified gravity. It runs through what dark matter is and why it has not been detected.

Anders Puck Nielsen clears up common misunderstandings about what legally counts as genocide, then compares the situation in Gaza with the genocide case against Putin. The chapters cover the definition, individual intent, and the two case comparisons.

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.

ACS Reactions investigates why Mexican Coke, supposedly cane sugar sweetened, tested as having glucose and fructose, explaining that sucrose breaks down in acidic soda.

A Vox explainer on why California's high-speed rail project is years late and far over budget, with only a few concrete structures built by 2022. It covers the political, legal and routing challenges behind the delays.

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.

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.

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.

Matt Parker examines claims that Biden's 2020 vote counts violate Benford's Law, explaining the law and why it often does not apply to precinct-level election data.

Asianometry examines why Japan's software industry has lagged despite its hardware strengths. It looks at dependence on US software and the low prestige of programming.

A short 3Blue1Brown primer on exponential and logistic growth, using early COVID-19 case data to show how epidemics grow and eventually level off. It explains why small changes in growth rate make enormous differences in outcomes.

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.