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.

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.

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.

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.

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.

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.

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.

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.

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.