halting problem

Veritasium's explainer on Godel's incompleteness theorems and the limits of mathematical proof, tracing set theory, Hilbert's program and the road to Turing and modern computing.

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.

An episode of the Well There's Your Problem podcast on the 1987 Goiania radiological accident in Brazil, based largely on the IAEA report. It goes through the event day by day.

An episode of the Well There's Your Problem podcast on five-over-one buildings, wood-frame floors atop concrete bases, with engineering background and some oil industry news. It is long, rambling and has NSFW language.

Lex Fridman interviews MIT physicist Max Tegmark, co-founder of the Future of Life Institute, about the case for pausing giant AI experiments and the risks of advanced AI.

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

Rich Hickey's Clojure Conj 2023 talk on design in practice, covering problem statements, decision matrices, choosing precise words and making decisions in a team.

A short Newsweek clip of White House press secretary Jen Psaki saying the administration is flagging problematic posts to Facebook that spread COVID-19 and vaccine disinformation.

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.

Dan Olson's roughly two-hour video essay critiques NFTs, cryptocurrency, and Web3, covering their technical, economic, and ideological flaws. It is heavily sourced and ends with the advice to ask whether a project needs crypto to work.

Wendover Productions examines why carbon offsets so often fail to reduce emissions, covering specific examples and the perverse incentives in offset schemes.

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.

Timothy Gowers thinks aloud, in real time, as he tries to understand why Pascal's determinant equals 1. He does not fully solve it in this episode, but shows his exploratory process.

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.

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.

Professor Dave critiques science communicator Sabine Hossenfelder, arguing that her content has drifted toward anti-establishment rhetoric. He frames it as commentary rather than a hit piece.

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.

Lex Fridman interviews Stephen Wolfram for about three hours on cellular automata, computation, the Wolfram Physics Project and his career with Mathematica and Wolfram Alpha.

A long Lex Fridman interview with Stephen Wolfram on complexity, cellular automata, computational irreducibility and the Wolfram Physics Project.

The first lecture of Michael Sipser's MIT 18.404J Theory of Computation course, covering course mechanics, finite automata, regular languages and regular expressions. It proves closure of regular languages under union and begins concatenation.

A roughly four-and-a-half-hour Lex Fridman podcast conversation with Stephen Wolfram about his Wolfram Physics Project and a fundamental theory of physics, computation, life and the universe.

2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives. It touches on Church encodings and the equivalence of Turing machines and lambda calculus.

Scott Aaronson's Harvard CMSA talk traces what mathematical truths are knowable, from Godel and Turing to the Busy Beaver function. He covers recent work on Busy Beaver values.

Physicist Jacob Barandes discusses his view that quantum mechanics can be formulated without wave functions, using a stochastic, probabilistic approach. The long interview covers measurement, the foundations of quantum theory and the history of the field.

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.

Cleo Abram's explainer on whether nuclear waste is really the intractable problem it is portrayed as, looking at how spent fuel can be recycled and used. It features a collaboration with Johnny Harris.

Asianometry explains the EUV light source inside ASML's lithography machines, where lasers hit falling tin droplets twice to produce 13.5 nm light. It walks through the engineering of the droplet generator, the pre-pulse and main laser, and the plasma that results.

Miguel de Icaza's GodotCon 2023 talk on Swift bindings for Godot. He argues that garbage-collector pauses in C# are a persistent problem and that Swift's reference counting avoids them.

Kurzgesagt's animated take on climate change argues that, despite alarming headlines, there are real reasons for hope as technology, policy and public attitudes shift. It surveys trends and solutions while acknowledging the scale of the problem.

Bill Hammack of engineerguy explains how medieval engineers designed stone cathedrals using rules of thumb, with no science, mathematics or literacy. He uses it to define the engineering method.

Mark Rober visits Zipline and looks at its autonomous delivery drones, including medical and blood deliveries in Rwanda. He demonstrates how the drones' propeller design and cable-lowered delivery pod make them quiet and precise.

Benn Jordan explains how Flock Safety's license plate cameras log and share vehicle locations, and explores how adversarial AI can defeat them. It covers weak security and the surveillance risks of private police-camera networks.

CGP Grey explains that postal codes are routing instructions for mail rather than geographic regions. He looks at the quirks and problems this causes.

Aging Wheels compares a road trip in a Polestar 2 with an identical drive in a Tesla, showing the charging problems of non-Tesla EVs. It argues that outside Tesla's network, EV road trips have become frustrating.

Patrick Boyle's deadpan account of Saudi Arabia's Neom and The Line megaproject, a planned 170 km linear city that has been scaled back to a fraction of its size. He covers the feasibility problems and the financing.