pl theory

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.

3Blue1Brown uses Wordle as an excuse to teach information theory and entropy, building a solver that picks guesses by expected information and incorporating word frequencies.

3Blue1Brown builds intuition for Euler's formula, e^(pi i) = -1, using the core ideas of group theory. It treats exponentiation geometrically as rotation and scaling instead of repeated multiplication.

3Blue1Brown shows how the uncertainty principle arises from Fourier transforms. A wave packet cannot be narrow in both position and frequency, so the principle is a property of waves rather than of measurement.

The first lecture of David MacKay's Cambridge course on information theory, pattern recognition and neural networks. It introduces the core ideas of his book Information Theory, Inference, and Learning Algorithms.

Dan Worrall explains when higher sample rates help in recording and mixing, and when they do not. He goes into oversampling versus higher sample rates, and aliasing in distortion plugins.

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 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.

Lex Fridman interviews University of Glasgow chemist Lee Cronin about the origin of life, aliens, complexity and consciousness. The conversation centers on Cronin's assembly theory.

People Make Games investigates how Roblox relies on young, often child, developers to build its content while paying them very little. It covers Roblox's monetization model, the revenue split, and the harms to kids who make games on the platform.

A two-minute Microsoft ad for Internet Explorer 10 in which a karaoke-style song addresses people who hate the browser. It is part of the "browser you loved to hate" campaign.

Apple's short ad for the iPad Pro with iOS 11, pitching it as a computer and suggesting a post-PC world.

Apple's November 10, 2020 event introducing the Apple M1 chip and the new MacBook Air, 13-inch MacBook Pro and Mac mini, along with macOS Big Sur.

Apple's WWDC 2020 keynote covering iOS, iPadOS, watchOS, privacy, tvOS and macOS, and the announcement of the move of Macs to Apple silicon. It includes demos of Rosetta translation and virtualization on ARM.

Apple's full WWDC 2023 keynote, covering the 15-inch MacBook Air, new Mac hardware, iOS, iPadOS, macOS, watchOS and the unveiling of Apple Vision Pro. It runs about two hours.

Apple's April 2021 Spring Loaded event, announcing the AirTag, new Apple TV, redesigned iMac and M1 iPad Pro.

Apple's full WWDC 2019 keynote, announcing iOS 13 with Dark Mode, watchOS 6, iPadOS, macOS Catalina, the new Mac Pro and the Pro Display XDR.

Adam Neely examines Phil Ewell's paper arguing Western music theory is framed by a white racial perspective. He covers North Indian theory, alternative frameworks, Schenker and responses to the paper.

The first lecture in Bartosz Milewski's category theory series for programmers. It covers the motivation and philosophy behind category theory and why composition matters for handling complexity.

A Golden Balls episode in which one contestant announces he will steal, leading to an unexpected outcome in the split-or-steal prisoner's dilemma.

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

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.

Sabine Hossenfelder asks whether complex numbers are just a convenient tool or necessary in physics. She discusses a recent paper arguing that quantum mechanics cannot be done with real numbers alone.

Looking Glass Universe explains de Broglie-Bohm pilot wave theory (Bohmian mechanics) as an alternative to the standard interpretation of quantum mechanics. The video lays out the pros and cons of the theory and links to related videos on contextuality and entanglement.

Eugenia Cheng gives the opening keynote at Lambda World 2017, presenting category theory as very abstract algebra whose abstraction gives it broad applicability. She applies it to everyday questions including privilege and prejudice.

Tom LaGatta's talk on category theory at a 2014 LispNYC meetup, covering objects, morphisms and the basic ideas in an informal, conversational style. It runs about 97 minutes.

Kyle Hill of Because Science explains and demonstrates, using real cards, how Magic: The Gathering can be used to build a Turing machine, a computer inside the card game.

Sixty Symbols interviews Nottingham cosmologist Tony Padilla, who says string theory deserves to be taken seriously. He explains how strings emerged from the equations rather than being invented.

A talk by Eric Weinstein on gauge theory and its possible application to economics and inflation. It proposes extending the Wu-Yang dictionary into a geometric tool beyond physics.

A 2016 conference talk by a mobile game CEO on the tricks of free-to-play monetization, including player profiles and how to target high-spending whales.

Onslaught's Bad Apple 64 is a Commodore 64 demo that streams over 2000 frames of the Bad Apple animation from a single disk side at 12fps, with each frame packed to around 70 bytes.

The full 1997 WWDC session in which Steve Jobs, newly back at Apple, takes developer questions for about an hour. He discusses OpenDoc, Microsoft, clones, Newton, advertising and Apple's strategy.

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

Apple's WWDC 2024 keynote introducing Apple Intelligence along with iOS 18, iPadOS 18, macOS Sequoia, watchOS 11 and visionOS 2.

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.

Freya Holmer's 74-minute video essay on splines, covering Bezier curves, B-splines, derivatives and the different levels of continuity (C0, C1, C2), built with custom animation tools. She notes she did not cover non-uniform splines.

Nate Harrison's 2004 video history of the Amen Break, a six-second drum sample from a 1969 b-side that became the basis of hip-hop sampling, jungle and drum and bass. It is also a meditation on cultural ownership and creativity.

A short Dyalog demonstration building Conway's Game of Life in a single line of APL, step by step. It shows how array operations replace loops.

Tom7 explains and demos software that learns to play NES games by finding score patterns in memory and then searching for inputs that raise it. It is the video companion to his SIGBOVIK paper.