undo systems

The first lecture in Martin Kleppmann's 8-lecture distributed systems series from the University of Cambridge undergraduate course. It introduces the subject, and accompanying lecture notes are available.

Richard Cook's short Velocity 2013 talk on resilience in complex adaptive systems, arguing systems operate near the edge of failure and that the surprise is how rarely they fail. He presents a model of how pressures push systems toward failure boundaries.

Primer uses simulations to compare voting systems such as first-past-the-post, approval, ranked choice and others. It shows how each system behaves and can be manipulated, with links to further voting theory resources.

A 1994 talk by systems thinker Russ Ackoff, who knew W. Edwards Deming, on continuous versus discontinuous improvement. It ends with an unexpected lesson.

Jiahao Chen's JuliaCon 2017 talk argues that vector transposes should be taken seriously in type systems and linear algebra libraries. It explains why treating vectors as matrices causes trouble in languages.

Adam Neely tests the claims for tuning to A=432 Hz by trying the unusual tuning systems that its proponents' numerology requires. He compares how they sound against standard tuning and temperaments.

Musician Adam Neely examines whether certain keys sound sadder than others, looking at the history of tuning systems and temperaments and at how instrument timbre shapes the emotional character we hear. It draws on historical aesthetics writing and audio examples.

CGP Grey explains first-past-the-post voting and why it pushes elections toward two dominant parties. It is the first in his series on electoral systems.

An animated simulation comparing single-winner voting methods such as plurality, instant runoff and STAR. Colored regions show which candidate wins as a randomized electorate shifts across a two-dimensional political space, building on Ka-Ping Yee's earlier diagrams.

A Vox Borders episode with Johnny Harris explaining how China is gradually erasing the line between mainland China and Hong Kong since the 1997 handover. It describes the one country, two systems arrangement and its expiration date.

Historia Civilis explains the origins and governing system of the Iroquois (Haudenosaunee) Confederacy. It covers the Great Law and the league's surprisingly intricate legal and political structure.

In an 11-minute TED talk, Ralph Langner explains how his team reverse-engineered the Stuxnet worm and worked out that it targeted industrial control systems, with a covert state origin. It is a compact look at cyber-forensics.

Jake Thackray performs the folk song Molly Metcalfe, which opens with an explanation of the traditional northern English sheep-counting system (yan, tan, tethera). It is a short, witty piece of British folk songwriting.

VICE's Oobah Butler spends eight months using fake reviews to push a nonexistent restaurant, The Shed at Dulwich, to number one on TripAdvisor in London. The short documentary shows how easily review systems can be gamed.

A six-minute explainer from Undefined Behavior on range (score) voting. It follows an earlier video on Arrow's Theorem and shows how range voting seems to satisfy the criteria Arrow's Theorem says no ranked system can.

First part of a six-part recording of the 1973 Lighthill debate on AI, where Sir James Lighthill's critical report on AI research was contested by figures including McCarthy and Michie.

Yuta, a Japanese YouTuber, explains whether Japanese speakers can read Chinese text. He shows how shared kanji let people guess meanings while the two languages remain completely different.

A short clip from an ACM and Computer History Museum interview in which Leslie Lamport discusses writing his paper on time, clocks and the ordering of events. He explains its link to special relativity.

A short demo of Sun Microsystems' Looking Glass, a 3D desktop GUI concept for a future operating system.

CGP Grey explains the Single Transferable Vote, a proportional ranked-ballot system, and why politicians have little incentive to adopt it. It is a short animated explainer of how multi-winner ranked voting works.

Symbolics developer Kalman Reti gives a short introductory demo of a Symbolics Lisp Machine running Genera in an emulator. It shows the context-aware command line, typed on-screen objects, and the live-editable system, including swapping in a C-compiled JPEG decoder.

The opening lecture of Steve Brunton's Control Bootcamp, covering the kinds of control and why closed-loop feedback matters. It starts a series that follows the control chapter of the Brunton and Kutz data-driven science book.

CGP Grey explains Mixed-Member Proportional representation, the system used in New Zealand where voters get two votes. It covers how it differs from first-past-the-post.

jan Misali presents an humorous but earnest case for counting in base 6 (seximal) instead of base 10 or 12, comparing the arithmetic advantages of each.

Bret Victor's talk proposing a new kind of maker space built for seeing and understanding a project's behavior: inside it, across time and across possibilities. It argues for scientific understanding over recipes and rules of thumb.

The first episode of a screencast series building djb's redo build system from scratch in Haskell. It explains the purpose of redo, writes initial code and sets up a GitHub repository.

A short CGP Grey animation showing how the US electoral college lets a candidate win the presidency with as little as about 22 percent of the popular vote. It lays out the arithmetic of winning states by narrow margins.

A 1991 NeXT promotional video that stages a head-to-head programming contest between a NeXT computer and a Sun workstation. It shows NeXT's interface builder and object-oriented tooling producing an application far faster than traditional UNIX development.

Dave Plummer, a retired Microsoft engineer who wrote Task Manager, responds to the claim that Windows sucks. He describes how he would fix common annoyances, in what he calls a love letter to Windows wrapped in a rant.

CGP Grey explains how the 2015 UK general election showed the flaws of first-past-the-post voting, with parties like UKIP winning many votes but few seats.

jan Misali traces the history of the letter W, including why it is called double u. The video is part of a series of deep dives into individual letters.

Classical guitarist Brandon Acker shows how guitars with tied-on gut frets, as used 300 years ago, can play more in tune than modern fixed metal frets. He demonstrates microtonal and meantone tunings on a guitar with movable frets.

A short narrated video describing how reintroducing wolves to Yellowstone triggered a trophic cascade that changed wildlife, vegetation and even river courses. This is a remastered HD version of George Monbiot's viral piece.

A short film about the Erlang language, showing telecom systems built from lightweight processes and demonstrating hot code swapping. It is an edited version of the original Ericsson video.

A demonstration of SymbOS, a multitasking operating system for 8-bit Z80 machines, running on a real MSX turboR with an MP3MSX card and a CF IDE interface. It shows the OS playing audio and running a graphical desktop on very old hardware, captured from the real machine and not an emulator.

Brian Douglas introduces Braitenberg vehicles, simple robots whose sensors are wired directly to motors yet show surprisingly lifelike behavior. He draws on Valentino Braitenberg's book Vehicles.

The official demo video from Be, Inc. showing BeOS running multiple videos, media applications and a responsive desktop on 1990s hardware.

Smarter Every Day host Destin Sandlin tries to hover a helicopter and finds it very hard. The video shows how the constant coordinated corrections across several control axes feel at first and how learning makes them automatic.

A 2014 talk by Geo Carncross (geocar) demonstrating kOS, a minimalist operating system and programming environment built around the k language, with early screenshots.

Yuta, a Japanese YouTuber, tests how much simplified Chinese a Japanese person can read, working with a Mandarin speaker. The video shows where shared kanji help and where meanings differ.