Recreational & visual mathPure mathematicsAlgorithms & data structuresProbability & game theoryInformation theory & signal processingComputability & complexity theoryLogic & formal methodsQuantum computingMath & theory (other)
Mathematics & Theoretical CS — Page 8
6:23How We Should Vote (Range Voting)
Undefined Behavior
Picked by 3 · 2017–2019
17:46Why do Biden's votes not follow Benford's Law?
Stand-up Maths
Picked by 2 · 2020–2024
1:14:51Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing
Arthur Gleckler
Picked by 3 · 2017–2019
1:00:31BetrFS: A Right-Optimized Write-Optimized File System
Microsoft Research
Picked by 2 · 2016–2023
6:14Turing & The Halting Problem - Computerphile
Computerphile
Picked by 2 · 2019–2022
10:33Strange Spheres in Higher Dimensions - Numberphile
Numberphile
Picked by 2 · 2020–2025
9:47Feynman: Mathematicians versus Physicists
TehPhysicalist
Picked by 2 · 2014–2022
43:31Analyzing Programs with Z3
Compose Conference
Picked by 2 · 2016–2021
1:03:07Clutching at Random Straws, Matt Parker | LMS Popular Lectures 2010
London Mathematical Society
Picked by 2 · 2017–2024
10:18Backpropagation calculus | Deep Learning Chapter 4
3Blue1Brown
Picked by 3 · 2017–2024
9:27Pentagons Are Terrible at One Thing
CGP Grey
Picked by 2 · 2020–2022
13:58The Josephus Problem - Numberphile
Numberphile
Picked by 2 · 2018–2022
30:38Solving Wordle using information theory
3Blue1Brown
Picked by 2 · 2022–2024
3:36Hold music used to sound better. Here's why.
Tom Scott
Picked by 2 · 2018–2023
14:03Simulating alternate voting systems
Primer
Picked by 2 · 2020–2026
29:22Samplerates: The Higher the Better, Right?
FabFilter
Picked by 1 · 2021–2023
11:52Gregory Chaitin - Is Mathematics Invented or Discovered?
Closer To Truth
Picked by 1 · 2020–2021
9:20An astonishing old calculator - Numberphile
Numberphile
Picked by 1 · 2017–2023
13:385040 and other Anti-Prime Numbers - Numberphile
Numberphile
Picked by 1 · 2018–2024
8:25Klein Bottles - Numberphile
Numberphile
Picked by 1 · 2015–2022
![Video frame: 'Fastware' - Andrei Alexandrescu [ ACCU 2016 ]](https://i.ytimg.com/vi/AxnotgLql0k/hq2.jpg)
1:02:17'Fastware' - Andrei Alexandrescu [ ACCU 2016 ]
ACCU Conference
Picked by 1 · 2016–2021
8:57Exponential growth and epidemics
3Blue1Brown
Picked by 10 · 2020
22:22Some light quantum mechanics (with minutephysics)
3Blue1Brown
Picked by 2 · 2020–2022
6:07How An Infinite Hotel Ran Out Of Room
Veritasium
Picked by 1 · 2021–2022
51:16What is Euler's formula actually saying? | Ep. 4 Lockdown live math
3Blue1Brown
Picked by 1 · 2020–2023
3:49The Trinity Hall Prime - Numberphile
Numberphile
Picked by 1 · 2017–2020
21:58Group theory, abstraction, and the 196,883-dimensional monster
3Blue1Brown
Picked by 1 · 2021–2023
1:26:11Succinct Data Structures
Edward Kmett
Picked by 1 · 2017–2025
17:01The mathematics of love | Hannah Fry
TED
Picked by 1 · 2021–2026
5:12Deepest Mandelbrot Set Zoom Animation ever - a New Record! 10^275 (2.1E275 or 2^915)
Orson Wang
Picked by 1 · 2016–2025
32:10Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language
Picked by 1 · 2016–2024
3:59The Lava Lamps That Help Keep The Internet Secure
Tom Scott
Picked by 1 · 2017–2024
57:32Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Institute for Advanced Study
Picked by 1 · 2018–2026
58:37NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
Picked by 1 · 2022–2026
21:05Why is there no equation for the perimeter of an ellipse‽
Stand-up Maths
Picked by 1 · 2020–2023
32:11Darts in Higher Dimensions (with 3blue1brown) - Numberphile
Numberphile
Picked by 1 · 2021–2023