type-driven development

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.

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.

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.

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.

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.

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.

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.

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

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.

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.