type-driven development

LearnCode.academy presents a roadmap of web development technologies to learn in 2016 and 2017, spanning front-end, back-end and DevOps tools.

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.

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.

Not Just Bikes contrasts traditional and suburban development in North America. It looks at the financials behind each pattern and argues that suburban development leaves cities unable to pay for their own infrastructure.

Hans Rosling uses augmented-reality animation to show 200 countries over 200 years in four minutes, built from 120,000 data points. It tracks life expectancy and income to show the world's development.

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.

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.

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.

Kurzgesagt makes a selfish case for improving the world, arguing that helping people far away raises prosperity and innovation for everyone, including yourself. The animated video frames this as egoistic altruism and positive-sum cooperation.

CodeParade's short devlog on how spherical geometry looks in 2D and 3D and why it feels so unusual, part of the Hyperbolica series on a non-Euclidean game.

An episode of Coding Secrets by Jon Burton on retro copy protection, in particular physically damaging a disk with a laser so copies fail. It explains how this defeated hackers and pirates.

Paul Irish explains how pointerpointer.com works. It uses a hidden canvas of colored Voronoi regions to look up which photo matches the cursor position.

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.

Veritasium examines the role of luck in success, with simulations and examples showing how small advantages and chance can compound. It argues that top outcomes are disproportionately luck-driven while still crediting effort.

A video explaining why Japanese cities look the way they do, through Japan's national tiered zoning system that permits mixed use and flexible development. It compares this approach with more restrictive zoning elsewhere.

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.

CGP Grey explains how ideas spread like germs, and why content that triggers outrage spreads fastest, using a study on what makes online content viral. He argues that opposing outrage-driven memes feed each other.

An Extra Credits episode on China's Sesame Credit, which gamifies obedient citizenship through a social score. It covers how the system rewards conformity and pressures people through their friends' behavior.

RealLifeLore explains with maps why Russia invaded Ukraine, focusing on energy resources, security buffers, Black Sea access and Crimea's strategic value.

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.

A short video on the US Sprint anti-ballistic missile, which accelerated to around Mach 10 in seconds under extreme g-forces and heat. It includes striking launch footage and a brief development history.

Veritasium tells the history of how imaginary numbers arose from the quest for a general solution to the cubic equation, including the duels and secrecy among Renaissance mathematicians. It argues math had to give up the requirement that it mirror reality.

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.

CGP Grey's five-minute animated explainer on how copyright terms grew from 14 years to life plus decades. It uses Disney and Star Wars examples to argue the system has gone wrong.

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.

Animator Noodle explains why frame interpolation does not make animation better, covering timing, easing, smear frames and using the wrong tool for the job. A pinned correction says the video is partly outdated given later AI developments.

Kraut traces centuries of political development, from Mongol rule and the Orthodox church to Muscovite autocracy, that shaped Russia's authoritarian state. It uses countryball animation and compares Russia with Europe and China.

A Computerphile video in which Rob Miles warns against assuming a general AI will think like a human. He uses the thought experiment of a stamp-collecting AI to show how a goal-driven system could pursue its aim with dangerous results.

Thunderf00t presents high-speed camera footage of alkali metals such as sodium and NaK reacting with water. The footage shows that the explosion is not caused by hydrogen ignition, as the usual explanation says. It is a Coulomb explosion driven by electrons leaving the metal.

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

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.

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.

Strong Towns explains the Growth Ponzi Scheme, in which post-war suburban growth takes on infrastructure costs that new development must keep funding. It describes why municipal finances become insolvent.

A video arguing that exercise matters for the brain as much as the body, linking movement, the nervous system and BDNF to learning and memory. It draws on research connecting complex movement to brain development.

Engineering Explained argues that internal combustion engines are far from dead, and discusses the continued development of ICEs and the problems facing electric vehicles.

A Wendover Productions video on how the art market works, arguing that prices are driven by wealth, storage and tax mechanics rather than artistic value.

CityNerd explains why traffic congestion grows nonlinearly as more cars use a road network, and why adding road capacity tends not to fix it. It covers the consequences for drivers, bus riders, cyclists and pedestrians, and discusses alternatives such as true bus rapid transit.