ttl logic

A one-hour 2019 KOMO News documentary hosted by Eric Johnson on Seattle's homelessness and drug crisis, with interviews and looks at proposed solutions including a drug court program in Rhode Island. It argues addiction and mental illness are at the core of the problem.

Technology Connections explains why electric kettles are uncommon in the US, centering on 120V circuits limiting power. He tests ways of boiling water on gas, electric ranges and kettles.

Bret Copeland, in an astronaut costume, gives an energetic talk on how the Space Shuttle landed from orbit, including reentry and the unpowered glide. It includes real-time landing footage with HUD and audio.

Ben Eater shows how to build logic gates out of transistors, including NOR gates. It is part of his clear hardware-from-scratch teaching style.

A KOMO News documentary about Seattle's homelessness, addiction and street crime. It examines the City Council's policies, shows conditions on the streets and the impact on local businesses, and explores possible solutions.

Scott Manley tries a Space Shuttle Return To Launch Site abort in the Orbiter simulator without manuals or checklists. He explains how the maneuver works and where his attempt went wrong.

A one-minute AJ+ clip of a Palestinian woman confronting an Israeli settler in Sheikh Jarrah over taking her family's home.

Numberphile visits Cliff Stoll, the man behind ACME Klein Bottles, and sees how he stores a thousand glass Klein bottles in a crawlspace under his house. A remote-controlled forklift fetches them.

Numberphile interviews Cliff Stoll about Klein bottles, the one-sided surfaces with no inside or outside. Stoll explains them with characteristic enthusiasm and shows off his collection.

An Epic Rap Battles of History episode in which Albert Einstein and Stephen Hawking trade rap verses. It is a popular comedic music video.

A clip from Battlestar Galactica season 4 in which a character declares 'I'm a machine' and laments the limits of human senses.

Ben Eater writes a program in a made-up machine language and walks through the control logic an 8-bit breadboard CPU needs to execute it. It is part of his build-an-8-bit-computer series.

Urban explorers break into the Baikonur cosmodrome in Kazakhstan to film the abandoned Soviet Buran space shuttles. The video shows the decaying orbiters and the dangerous trip to reach them.

David Christiansen gives a Strange Loop 2018 introduction to dependent types, where one language serves for both compile-time and run-time code and programs unite with proofs. It draws on his book The Little Typer.

Technology Connections takes apart the step-by-step electromechanical logic of a 1970s pinball machine. He shows how relays, steppers and switches track state and score without electronics.

A clip from Terry Gilliam's film Brazil in which the illegal heating engineer Harry Tuttle visits Sam Lowry to fix his heating problem.

Top Gear segment in which Hammond and May try to turn a Reliant Robin into a space shuttle. Launching is easy, but landing it safely is the problem.

Ben Eater explains how VGA signals work and builds a breadboard circuit that produces correct sync timing so a monitor recognizes the signal. He then builds toward displaying an image from simple logic chips.

Part one of Montemayor's animated-map documentary on the Battle of Midway, told using only the information available to the Japanese side. It focuses on Nagumo's dilemma.

The full 1984 interview with Yuri Bezmenov, a former KGB operative, in which he lays out four stages of ideological subversion. It is a long interview with G. Edward Griffin.

A hip-hop music video from EconStories in which Keynes and Hayek rap-battle over how to handle recessions and government spending. It is the second round after the first rap battle.

Footage from a camera on a Space Shuttle solid rocket booster from liftoff through descent, with audio enhanced by Skywalker Sound from the original camera microphones. The sound is real, not foley.

A 1983 Los Angeles lecture by KGB defector Yuri Bezmenov on how the Soviets carried out ideological subversion of target societies through propaganda. He walks through demoralization and normalization stages.

A two-minute clip recorded on a Kennedy Space Center tour showing a Space Shuttle thermal tile that can be held by hand while its surface is extremely hot. It demonstrates the tile's remarkable insulating properties.

A Little Britain sketch featuring the 'Computer says no' catchphrase, in which a clerk refuses requests by deferring to her computer.

A clip from Little Britain in which a bureaucrat answers every request with 'computer says no'.

A sketch from the Seattle comedy show Almost Live! in which Pat Cashman plays a US Bell rep explaining the new 425 area code. It first aired in 1997.

The full Malvina Reynolds recording of the folk song 'Little Boxes', a satire of identical suburban tract housing, later popularized as the Weeds theme. The upload includes the lyrics.

The poison goblet scene from The Princess Bride, in which Westley tricks Vizzini in a battle of wits. It is a famous example of nested reasoning.

A very short clip from Yes, Prime Minister in which Sir Arnold and Sir Humphrey run through a piece of circular political reasoning. It is the origin of the so-called politician's logic.

The Little Britain sketch in which call-center worker Carol types into her computer and replies 'computer says no' to every request.

A 1985 interview by G. Edward Griffin with former KGB operative Yuri Bezmenov. He describes long-running Soviet efforts at ideological subversion and manipulation of US public opinion.

Robert Sapolsky's Stanford lecture on the biological underpinnings of religiosity, from his human behavioral biology course. It covers theories linking religion to stress, and schizotypal traits.

A 1984 interview with former KGB agent Yuri Bezmenov on ideological subversion and psychological warfare, reposted in 2020 with a modern political framing.

Seattle Police Department compilation of open-source video of violent incidents in the Capitol Hill Occupied Protest (CHOP) zone in 2020, released around the July 1 emergency proclamation.

A rap battle in which John Maynard Keynes and F. A. Hayek debate the causes of boom and bust, stimulus, and bailouts. It was produced by Econstories to teach the two schools of thought.

Philip Wadler's Strange Loop talk on Propositions as Types, the link between logic and computation (the Curry-Howard correspondence). He traces its history through Church, Godel and Turing and shows how it shaped theorem provers and programming languages.

Seattle landscape architect Fred Young gives an hour-long visual tour of Dutch cycling infrastructure, covering design details, continuous networks and how cycling fits daily life in the Netherlands.

Technology Connections takes a long, detailed look at how a 1970s electromechanical pinball machine works, from relays to stepper motors and mechanical logic. It is the first part of a series.

Gerald Sussman's 2011 Strange Loop keynote argues we still do not know how to compute, comparing biological systems with how we program machines. It touches on propagators, constraint programming and robustness.