halting problem

A Computerphile video in which Mark Jago of the University of Nottingham explains Turing's halting problem and how it led to the blueprint for the modern computer.

Numberphile with Daniel Erman on the Josephus problem, where people in a circle are eliminated in turn. It shows how the survivor's position follows a neat pattern tied to powers of two and binary.

3Blue1Brown walks through a very hard Putnam competition problem and its elegant solution, emphasizing the visual intuition and the thought process behind solving it.

A BBC Earth clip from Inside the Animal Mind in which a crow named 007 solves an eight-step puzzle to get a reward. It showcases crow problem-solving.

Robert Miles introduces the first of several videos on the paper 'Concrete Problems in AI Safety', focusing on how AI systems can cause accidental negative side effects. It explains the problem in accessible terms.

A short excerpt of Jon Stewart interviewing former Treasury Secretary Larry Summers about the causes of inflation and whether workers or corporate profits are to blame. It comes from an episode of The Problem With Jon Stewart.

Engineering Explained argues that internal combustion engines are far from dead, and discusses the continued development of ICEs and the problems facing electric vehicles.

Numberphile with Tim Browning on the sum-of-three-cubes problem and why 33 was the lowest unsolved case. The description notes a later solution for 33.

Dave Jones of EEVblog investigates why a 4K BenQ monitor switches itself off, tracing it to static discharge from an office chair. He uses an oscilloscope to examine the static impulses.

Polylog explains how algorithms can be turned into circuits and encoded as satisfiability problems, which lets you effectively run them backwards. It uses this to motivate breaking RSA, general reductions to SAT, and what P vs NP is really asking.

Tom Scott explains for Computerphile why handling time and timezones in code is so hard, walking through a simple web app that computes how long ago something happened. It covers the quirks of timezones and calendars and ends in an exasperated rant.

Veritasium's Derek Muller argues that Facebook's business model works against pages and creators, because it charges them to reach the audiences they built. He explains how filtering and paid promotion undermine the value of likes.

CGP Grey explains how traffic jams come from human driving behavior such as tailgating and reaction delays, and how leaving gaps and smoothing speed would reduce congestion. It also touches on self-driving cars.

Real Engineering looks at why Africa's abundant solar potential is hard to turn into usable power, especially for Europe. It covers the transmission, infrastructure and economic obstacles, and the pivot from concentrated solar to photovoltaics.

Real Engineering looks at the numbers for running California on renewables, focusing on the large energy storage needed. It argues about the cost of batteries and the role of other sources.

Dan Pink's TED talk argues that traditional carrot-and-stick rewards often fail for creative work, drawing on the candle problem and social science research. He points to autonomy, mastery and purpose as better motivators.

Tantacrul examines sonification, the practice of turning data into sound or music, and critiques how scientists and musicians, including NASA and CERN projects, use it well and poorly.

Food YouTuber Adam Ragusea argues that gas stovetops are weaker than electric burners, dirty to clean, and a health risk from indoor air pollution. He cites Consumer Reports ratings and a literature review on gas stove health effects.

Sabine Hossenfelder explains why she left academia, criticizing its incentives, funding and career structure. She gives a personal account of the social problems in science.

Real Engineering explains why biofuels, especially corn ethanol, are a poor energy source, looking at energy inputs, efficiency and carbon cost.

Big Clive tears down a smart meter with a wireless modem found among fly-tipped materials. He examines its internals and checks conspiracy claims about microphones, cameras and 5G.

Steve Yegge's OSCON Data 2011 talk imagines what you could do with Google-scale storage and compute a decade later. He argues smart people should work on hard problems such as biology rather than cat pictures, and the talk ends with a moment many took as him quitting Google.

A JRE clip in which Bret Weinstein explains his concern that most American lab mice descend from a single lab lineage. He argues this undermines how well mouse research translates to humans.

A short, humorous critique of Helion Energy's fusion approach, framed as a response to a Real Engineering video. It covers low reactivity, neutron production, bremsstrahlung losses and diagnostics.

Dave2D reviews the Lenovo Legion Go S running Valve's SteamOS instead of Windows, calling it the first true competitor to the Steam Deck. He compares handheld gaming performance and experience across the two operating systems.

A WSJ investigation by Joanna Stern into iPhone thieves who watch victims enter their passcode, then use it to lock them out of Apple accounts and drain bank and payment apps. It explains how the thefts work and how to protect yourself.

A scene from Moneyball in which Brad Pitt's character argues with scouts who pick players on intangible impressions instead of performance data. It is a four-minute clip.

A short SIGBOVIK 2017 presentation by Tom Wildenhain showing that PowerPoint animations are Turing complete, with a working Turing machine built in slides. The talk is delivered deadpan as a serious research result.

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.

An 11-minute animated introduction to P vs. NP and the wider landscape of complexity classes, inspired by the Complexity Zoo wiki. It assumes no background in computer science.

Tom Murphy's satirical SIGBOVIK 2007 presentation, delivered under a pseudonym, proving that generalized Super Mario Bros. is NP-complete. It is a short, deadpan take on a complexity theory result.

The first video in a series on extremely large numbers, introducing the topic with examples. Later parts go deep into the fast-growing hierarchy.

John Conway talks in a short Numberphile interview about his mixed feelings toward the Game of Life, his most famous invention. He says he is not especially pleased that it overshadowed his other work.

An excerpt from Hal Abelson's opening SICP lecture introducing computer science and contrasting declarative and imperative knowledge. He argues that computer science is not really a science and is more like magic or engineering of ideas.

Pro Magic player Luis Scott-Vargas triggers a mandatory-action infinite loop on Magic Online, and the game stalls in a non-terminating state.

An animated, musical visualization of Conway's Game of Life showing patterns made in the Golly program.

A short Art of the Problem clip explaining Diffie-Hellman key exchange, using a paint mixing analogy for one-way functions and touching on modular arithmetic and discrete logarithms.

An older 3Blue1Brown video on why topology matters, built around the inscribed rectangle problem. It walks through how tori and Mobius strips appear in the solution. The channel later replaced it with an updated version.

Kyle Hill explains what nuclear waste actually is and how it is stored, arguing that the problem was effectively solved decades ago. It covers solid shielded waste and deep geological storage.

Sabine Hossenfelder reads a confidential email and uses it to explain her worries about academia and incentives in theoretical physics research. She ties it to her earlier Nature Physics comment on research quality.