range voting

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.

Tom Scott explains why electronic voting is a bad idea. Elections must be trusted by everyone and attacks on software scale in ways attacks on paper do not, so open source or blockchain fixes do not solve it.

Tom Scott explains for Computerphile why electronic voting is a bad idea, arguing that paper ballots are transparent, auditable and hard to tamper with at scale. He covers why moving voting to phones, tablets or computers undermines trust and verifiability.

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.

The Center for Election Science explains favorite betrayal in instant-runoff voting: in some elections, ranking your favorite first can cause your least favorite to win. It contrasts this with plurality voting's spoiler problem.

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.

John Oliver's Last Week Tonight segment on US voting machines, covering how they work, their security weaknesses, and how elections could be made more secure.

A John Oliver Last Week Tonight segment on voting access in the US, covering how some states are making voting less equal. It is a comedic news commentary piece.

Konrad Malawski's Strange Loop 2023 talk shows how the FoundationDB team adopted Swift incrementally in a C++ codebase. It covers Swift's C++ interoperability, which let them move single functions or entire types over one at a time.

Chris Granger presents Eve, a programming environment designed to be approachable for humans, at Strange Loop 2015. The talk covers the project's approach and design ideas.

An update from the Strange Parts YouTuber on his recovery from a brain injury caused by a metal pipe while filming, and his plans for the channel.

A short CGP Grey explainer on the alternative vote (instant runoff voting) versus first past the post, made around the 2011 UK referendum. It shows how ranked ballots are tallied and why they avoid spoiler effects.

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.

Evan Czaplicki, creator of Elm, examines how programming languages are funded. He looks at where compiler engineers' salaries come from, why Go has about 5 engineers while Dart has about 30, and how this limits language design.

A Google Tech Talk by Steve Weis that introduces modern cryptography and its use in practice and at Google. It covers proofs of security and security definitions and a special topic. HN commenters treat it as a talk on verifiable electronic voting.

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.

Ben Krasnow of Applied Science shows that a plain laser diode can measure sub-micron vibrations from centimeters away using self-mixing interferometry, and can also be used for range-finding.

The Doomsday Machine scene from Stanley Kubrick's 1964 film Dr. Strangelove, in which the Soviet doomsday device is explained.

A three-minute clip from Dr. Strangelove in which Mandrake and Ripper (Peter Sellers and Sterling Hayden) discuss fluoridation and 'precious bodily fluids'. It is a famous Cold War satire scene.

Veritasium explains why no voting system can be perfectly fair, drawing on Arrow's theorem and the work of Eric Maskin. It looks at problems with systems like first-past-the-post and ranked-choice voting.

A four-minute clip from Dr. Strangelove in which the President and General Turgidson argue over the 'mineshaft gap' after a nuclear war. Peter Sellers and George C. Scott play it as Cold War satire.

Jack Rusher's Strange Loop 2022 talk argues that most programming languages are still designed around punchcard-era assumptions. He makes the case for live, interactive programming environments, drawing on Lisp, Smalltalk and REPL-driven development.

Guy Steele's Strange Loop 2010 talk argues that programmers should not have to think about parallelism, and that languages should support algorithms built on independence and divide-and-conquer. He also recounts fitting a program onto a single punch card.

Pokey Rule presents Cursorless, a spoken language designed for editing code by voice, built on tree-sitter parsing with smart structural and simple token-level primitives. The talk is from Strange Loop 2023.

Numberphile interviews cryptographer Ron Rivest about end-to-end verifiable voting. He explains how homomorphic encryption and receipts let a voter confirm their ballot was counted without being able to prove how they voted to anyone else.

Rich Hickey's Strange Loop 2011 keynote distinguishing 'simple' (not intertwined) from 'easy' (familiar or near at hand). It argues that software complexity comes from complecting things and that we should pick simple constructs.

Joe Armstrong, co-inventor of Erlang, gives a funny and opinionated Strange Loop talk on the tangled state of software: build tools, package managers, entropy and the physical limits of computation. He argues for ideas like naming things by content hash and throwing away your first version.

Michael Hendricks of PriceCharting shares tricks and pain points from running Prolog in production for 18 months at Strange Loop. It argues Prolog is a productive modern language beyond logic puzzles, and includes a demo of changing code mid-execution.

Evan Czaplicki's Strange Loop 2014 talk surveys the many formulations of functional reactive programming and how they relate historically and theoretically. It then shows how Elm's variant enables hot-swapping and its time-traveling debugger.

Jon Moore's Strange Loop 2017 talk argues that rate limiting is the wrong tool for protecting services from noisy clients. He proposes concurrency-based capacity management and quotas instead.

Aditya Siram introduces ATS, a statically typed ML-like language that compiles to C and offers type-safe pointer arithmetic and a full proof language. The Strange Loop talk shows off C interop, concurrency and verification features with non-trivial examples.

Devine Lu Linvega of Hundred Rabbits talks about low-power, offline computing, esoteric languages and the Uxn virtual machine, informed by years of sailing the Pacific. The talk frames computing sustainability through a permaculture lens.

Felienne Hermans presents Hedy, a gradual programming language for teaching kids that moves through levels from almost no syntax toward full Python. The talk covers why error messages and syntax are scary for beginners.

Michael Arntzenius's Strange Loop talk on Datafun, a functional query language that brings database-style querying into a general-purpose language. It discusses bridging database theory and programming languages.

InRangeTV's controlled mud test of an AKM, covering it in mud and testing whether it still fires, in a series that also tested the M1, M14 and AR-15.

Strange Parts spends four months, seven custom circuit boards and several disassembled iPhones adding a working headphone jack to an iPhone 7 in China. The build is documented in detail.

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.

Kirsten Dirksen visits retired mailman Russ Finch in Alliance, Nebraska, who grows oranges, figs and pomegranates in a backyard greenhouse without paying for heat. The greenhouse uses the stable temperature of the earth, with underground earth tubes, to heat and cool itself.

Aging Wheels tests how towing trailers affects the range of electric trucks, including a Silverado EV. It shows that trailer aerodynamics matters far more than added weight.

The climactic orange juice futures trading scene from the film Trading Places, in which the heroes corner the market on the trading floor.