type-driven development

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.

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.

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.

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.

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.

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

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.

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.

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.

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.