Recreational & visual mathPure mathematicsAlgorithms & data structuresProbability & game theoryInformation theory & signal processingComputability & complexity theoryLogic & formal methodsQuantum computingMath & theory (other)
Mathematics & Theoretical CS — Page 7
5:15Jordan Peterson - Pareto Distributions
Bite-sized Philosophy
Picked by 2 · 2017–2021
6:01Cambridge Ideas - Professor Risk
Cambridge University
Picked by 2 · 2013–2022
56:58Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
Picked by 2 · 2016–2021
23:51Why is this number everywhere?
Veritasium
Picked by 2 · 2024–2026
36:14Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV
Picked by 3 · 2017–2024
14:06Surreal Numbers (writing the first book) - Numberphile
Numberphile
Picked by 3 · 2016–2022
3:281.1 - Course outline
LaintalAy
Picked by 2 · 2019–2023
7:42Extremely Large Numbers 1 - Introduction
Giroux Studios
Picked by 2 · 2016–2022
7:50ASTOUNDING: 1 + 2 + 3 + 4 + 5 + ... = -1/12
Numberphile
Picked by 3 · 2014–2023
6:55Quick-sort with Hungarian (Küküllőmenti legényes) folk dance
AlgoRythmics
Picked by 2 · 2013–2021
14:27A simple trick to design your own solutions for Rubik's cubes
Mathologer
Picked by 3 · 2019–2022
4:23:39Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124
Lex Fridman
Picked by 2 · 2021–2023
1:45:56Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62
Lex Fridman
Picked by 2 · 2020–2023
1:21:56Eric Weinstein: Revolutionary Ideas in Science, Math, and Society | Lex Fridman Podcast #16
Lex Fridman
Picked by 2 · 2019
19:20Conrad Wolfram: Teaching kids real math with computers
TED
Picked by 2 · 2012–2020
1:07:34What Happens When Maths Goes Wrong? - with Matt Parker
The Royal Institution
Picked by 2 · 2020–2024
31:18Quantum Expert Insight: Peter Shor
Qiskit
Picked by 2 · 2021–2024
2:52If money was no object, should you run every medical test?
Medlife Crisis
Picked by 2 · 2019–2024
10:08Naive empiricism, terrorism & Ebola.
N N Taleb's Probability Questions
Picked by 2 · 2017–2021
39:40"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
Picked by 2 · 2018–2024
54:01Abseil's Open Source Hashtables: 2 Years In - Matt Kulukundis - CppCon 2019
CppCon
Picked by 1 · 2021–2026
1:30:53C++Now 2018: You Can Do Better than std::unordered_map: New Improvements to Hash Table Performance
CppNow
Picked by 2 · 2021–2024
19:27Quantum Computing Expert Explains One Concept in 5 Levels of Difficulty | WIRED
WIRED
Picked by 2 · 2019–2021
19:31Math Magic
Vsauce
Picked by 2 · 2016–2024
4:01Onslaught - Bad Apple 64 - C64 Demo
RetroDemoScene
Picked by 2 · 2018–2026
9:16Floating Point Numbers - Computerphile
Computerphile
Picked by 2 · 2015–2023
10:37The Bayesian Trap
Veritasium
Picked by 2 · 2017–2024
13:59MENACE: the pile of matchboxes which can learn
Stand-up Maths
Picked by 2 · 2018–2026
13:17Stand-up comedy routine about Spreadsheets
Stand-up Maths
Picked by 2 · 2018–2025
38:36"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
Picked by 2 · 2018–2023
25:09Who's faster around London: a taxi driver or a GPS?
Tom Scott plus
Picked by 2 · 2022–2026
43:23AI Ethics, Impossibility Theorems and Tradeoffs - Chris Stucchio | Crunch 2018
CraftHub Events
Picked by 2 · 2019–2021
7:27Sloane's Gap - Numberphile
Numberphile
Picked by 2 · 2013–2019
53:56Three Beautiful Quicksorts
Google TechTalks
Picked by 2 · 2010–2023
18:16Do these scatter plots reveal fraudulent vote-switching in Michigan?
Stand-up Maths
Picked by 4 · 2020–2021
52:59David Kriesel: Lies, damned lies and scans
Free and Open Source Software Conference (FrOSCon) e.V.
Picked by 2 · 2020–2026