computer science theory

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.

ScienceClic gives a 15-minute animated introduction to quantum field theory, covering fields, spin, conserved quantities, the standard model and interactions.

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.

Adam Neely analyzes vaporwave through music theory, timbre and nostalgia, and includes a parody track made for the video. He also touches on the phenomenology of music.

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.

Tom Scott explains for Computerphile why electronic voting is a bad idea, arguing that paper ballots are transparent, auditable and hard to tamper with at scale. He covers why moving voting to phones, tablets or computers undermines trust and verifiability.

Mike Pound explains the discrete cosine transform and how it underpins JPEG compression. It is part two of Computerphile's JPEG series.

Tom Scott explains for Computerphile how Unicode and UTF-8 grew out of messy older character encodings to become the web's standard. It covers why the design works and how it handles worldwide text.

Dr Mike Pound of Computerphile shows how a modern laptop can crack Enigma, using a ciphertext-only attack based on an older paper. He compares it with the tooling in CrypTool.

A Computerphile video in which Dr Mike Pound and PhD student Lewis Stuart explain 3D Gaussian splatting, a quick technique that turns photos of a scene into a 3D model without much compute. It includes a demo and compares the approach to NeRFs.

Rob Miles explains on Computerphile how language models generate plausible text and how transformers improved on recurrent networks, with a look at what comes next.

Rob Miles explains on Computerphile why implementing an off switch for a general AI is hard. A capable agent would resist being stopped because shutdown prevents it from achieving its goal.

Computerphile interview with Prof. Ross Anderson on how Chip and PIN payment systems are being compromised, and the attacks researchers have seen.

Tom Scott explains for Computerphile how floating point numbers work, why moving the binary point is fast, and why it handles money badly.

Computerphile video in which Mike Pound explains a University of Maryland paper on watermarking LLM output. The method biases token choices so generated text can later be detected statistically.

Rob Miles discusses GPT-3 on Computerphile, covering how scaling parameters kept improving results over GPT-2 and how the model nearly learned arithmetic without anyone knowing exactly how.

CGP Grey's animated adaptation of The Dictator's Handbook, explaining how rulers stay in power by keeping a small group of key supporters happy rather than ruling fairly. It lays out selectorate theory and how resources shape regimes.

Veritasium explores the Prisoner's Dilemma and Axelrod's tournaments, showing why tit-for-tat and forgiving strategies win in repeated games. It extends the ideas to cooperation in evolution and conflict.

A PBS Space Time episode introducing de Broglie-Bohm pilot wave theory, an interpretation of quantum mechanics that avoids much of the strangeness of the mainstream views. It is aimed at curious lay viewers.

Ben Eater explains why he builds computers on breadboards, including testing their signal behavior on an oscilloscope. It is a companion to his 6502 breadboard computer series.

An Asianometry explainer on why the Soviet Union, once a leading computing power, fell far behind the US in computers by the 1980s. It traces the gap from the 1960s onward despite strong state support for science.

Professor Brailsford of the University of Nottingham describes how the university set out to print its own mathematics exam papers in the 1980s. The story centers on getting a Mergenthaler Linotron 202 typesetter to work with their own software.

The first of four short videos from Bill Hammack (engineerguy) introducing and giving the history of a 100-year-old mechanical computer, Michelson's harmonic analyzer. The series goes on to explain Fourier synthesis, analysis and operation of the machine.

Veritasium explains why analog computing may suit AI workloads, covering old analog computers, The Analog Thing and Mythic's analog chips that use flash memory for neural network inference. It argues digital hardware is hitting limits.

Veritasium traces analog computers from the Antikythera mechanism and Kelvin's tide-predicting machines to fire control and modern analog approaches. It explains how these machines computed continuously rather than digitally.

A PBS Infinite Series episode explaining the mathematics of quantum computers, including how qubits store complex numbers and how quantum computation differs from classical computation. Hosted by Kelsey Houston-Edwards.

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.

Isaac Arthur examines the Dark Forest theory, Cixin Liu's proposed solution to the Fermi Paradox in which civilizations stay silent and may destroy any that reveal themselves. He tests the theory's underlying assumptions and arguments.

MinutePhysics explains Shor's algorithm, showing how a quantum computer factors large integers by finding the period of a number modulo N. It walks through the modular arithmetic and number theory that give the exponential speedup over classical factoring, and why this threatens encryption.

Veritasium examines research suggesting science explainer videos like Khan Academy's make students feel they understand while tests show they have not learned, because misconceptions go unaddressed. It suggests how to partly fix this.

Real Engineering explains the materials science behind metal 3D printing, including crystal structure, laser sintering, and why printed parts develop fatigue cracks. It shows how process imperfections limit the strength of printed metal.

3Blue1Brown introduces group theory and abstract groups, then builds toward classification of finite simple groups and the enormous Monster group with its 196,883 dimensions.

Matt Parker of Stand-up Maths explains single-pile Nim and the trick that wins it, using Dr NIM, a 1960s mechanical plastic computer that plays perfectly. He teaches the strategy so viewers can beat friends.

Scott Manley tells the story of a computerized telemetry system built to sit at the heart of a nuclear test device in place of the plutonium pit, designed to transmit data in the microseconds before it was destroyed.

A Computerphile video in which Rob Miles warns against assuming a general AI will think like a human. He uses the thought experiment of a stamp-collecting AI to show how a goal-driven system could pursue its aim with dangerous results.

Rob Miles explains for Computerphile why simple rule sets like Asimov's Three Laws cannot make robots and AI safe. Terms like harm and human are too ambiguous to specify precisely.

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.

A 36-minute animated deep dive from Branch Education into how DRAM works. It shows how memory connects to the CPU and how billions of bits are stored in nanoscale capacitor cells. It also covers why DRAM sits between SSDs and the processor.

Physicist Angela Collier argues that dark matter is not a theory but a set of observations, covering rotation curves, the CMB and why modified gravity struggles to explain them.