p vs np

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.

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.

Lex Fridman's two-hour podcast with George Hotz, founder of Comma.ai, covering openpilot, autonomous driving and Hotz's views on AI and technology.

Peter Hutterer's linux.conf.au 2020 talk on creating libinput, the unified userspace input library, and the difficulties of handling the many quirks of input devices.

A demo of a Skyrim mod that uses Inworld AI to let players hold free-form conversations with NPCs. It previews LLM-driven characters in role-playing games.

Andrei Tarkovsky's 1972 film Solaris, in which a psychologist is sent to a space station orbiting a planet with an alien intelligence and meets his dead wife there. It is the full movie, uploaded by Mosfilm.

A short clip parodying Windows Vista's cancel-or-allow security prompts, in the style of Apple's Mac vs PC ads.

An overview of the PTVS 2.0 beta feature for debugging Python and C/C++ together in one session in Visual Studio.

Ben Felix explains how to decide between renting and buying a home, weighing financial and non-financial factors. He argues that renting is often as good or better than owning, both financially and for well-being.

Stuff Made Here designs and builds an "unpickable" lock, then calls in a locksmith to see if it can be defeated. It covers the mechanical design effort and the attempt to pick it.

A lecture from the 1980s by linguist Stephen Krashen on how people acquire language. He explains his comprehensible input hypothesis for second-language acquisition.

Meredith Patterson and Sergey Bratus argue that networked software stays insecure because protocols and inputs are too complex to recognize safely. They propose using formal language theory and grammars to build secure, verifiable input handling.

Technology Connections explains that the so-called EV charger in an electric car's charging cable or wall unit is really an EVSE, a smart switch that safely delivers AC power. The actual charger is inside the car. The video covers the safety signaling and mechanisms involved.

The Lock Picking Lawyer tests the supposedly unpickable lock designs built by the Stuff Made Here channel. He looks for bypasses and weaknesses in the novel anti-picking mechanisms.

Chase Adam, founder of the nonprofit Watsi, speaks at Startup School 2013 about building a nonprofit startup.

A two-minute demo of SmartKnob View, an open-source input knob built from a brushless gimbal motor, magnetic encoder and round LCD. Closed-loop torque control gives software-defined detents and end stops.

The UK DVSA's one-minute guide to the hazard perception part of the driving theory test, covering when to click and how to score well.

Phone footage of looting in the makeup aisle of a San Francisco CVS, with commentary that police did not show.

A short hyperlapse of a 2019 Toyota Corolla using comma.ai's OpenPilot 0.6.3 to drive 100 miles with no intervention except for the windshield wipers.

Chuck Cook films Tesla FSD Beta 8.2 attempting unprotected left turns across forward-facing traffic, using a drone for a third-person view. Eight tests are shown with the car's on-screen visualizations.

Find the Longest Path is a comedic song by Daniel J. Barrett, a Billy Joel parody that describes the NP-hard longest path problem in informal terms.

Vsauce's Michael Stevens takes viewers past infinity using transfinite numbers, ordinals and cardinals, with input from mathematician Hugh Woodin. It is a fast-paced, mind-bending tour of different sizes of infinity.

Johann Korndorfer's NVScene 2015 talk on building content with signed distance functions. It focuses on patterns that make SDF modelling more structured, arguing that SDFs capture a shape's essence like vector graphics do compared with polygons or voxels.

T-Pain performs three songs at NPR's Tiny Desk, backed by only a keyboardist and showing his natural singing voice.

Mark Bastian contrasts top-down object-oriented design with bottom-up, data-oriented design in Clojure. He models a board game as plain data plus small composable functions and compares it with a roughly 22-class OOP version.

Not Just Bikes explains how SUVs and light trucks have grown in size and share of US sales, and why that is dangerous for pedestrians, cyclists and city life. He covers the regulatory loopholes, such as fuel economy rules and the chicken tax, that favored them.

A one-minute IIHS demonstration crash test of a 1959 Chevrolet Bel Air against a 2009 Chevrolet Malibu, showing how much better the modern car protects its occupants.

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.

Ben Felix explains how to compare renting and buying a home by looking at unrecoverable costs, and distills it into the 5% rule of thumb. It is framed for a Canadian audience but broadly applicable.

A three-minute clip of Steve Jobs arguing that great products come from people who care about content rather than process. He says process-focused people take over and cause decline, citing IBM as an example.

Tom Scott makes the difference between a million and a billion dollars tangible by using distance on a road trip instead of volume. The drive makes the scale of a billion intuitively felt.

A demo of the 8pen, a gesture-based keyboard replacement for touchscreens that lets users enter text by moving around a circle. It is meant for phones, remotes and game controllers and mimics handwriting.

A short clip of Stephen Fry explaining the differences between American and British comedy. He attributes them to cultural attitudes such as optimism versus pessimism.

Gary Bernhardt argues that software history moves in reactions to earlier tools, and that new tools are not simply better in every way. He distinguishes capability (what a tool allows) from suitability (what it fits), and warns against repeating past mistaken reactions.

Gaming Historian recounts how Atari subsidiary Tengen challenged Nintendo's licensing rules with a lawsuit and unlicensed NES games, including the lockout chip fight.

A clip of Yanis Varoufakis answering a question about China versus the EU on debt conditions. He contrasts Chinese non-interventionist lending with EU conditionality, drawing on the Piraeus port.

A short clip of Steve Jobs explaining how sales and marketing people take over mature companies from product people, leading to product decline.

Physics Girl compares hydrogen fuel cell cars and battery electric cars after driving 1800 miles in a Toyota Mirai. The video was part of a series sponsored by Toyota.

GeoGuessr pro Rainbolt plays head-to-head against an AI built by Stanford students that guesses locations from street-view images. The video shows the AI repeatedly beating him.