Recreational & visual mathPure mathematicsAlgorithms & data structuresProbability & game theoryInformation theory & signal processingComputability & complexity theoryLogic & formal methodsQuantum computingMath & theory (other)
Mathematics & Theoretical CS — Page 4
48:36Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!
Picked by 3 · 2017–2019
20:05But what are Hamming codes? The origin of error correction
3Blue1Brown
Picked by 4 · 2020–2023
23:29How Imaginary Numbers Were Invented
Veritasium
Picked by 7 · 2021–2023
8:00Infinity is bigger than you think - Numberphile
Numberphile
Picked by 3 · 2014–2022
3:11:09Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89
Lex Fridman
Picked by 4 · 2020–2023
1:01:47Four Solutions to a Trivial Problem - Guy Steele Jr.
Google TechTalks
Picked by 4 · 2017–2023
21:14The medical test paradox, and redesigning Bayes' rule
3Blue1Brown
Picked by 4 · 2020–2025
1:30:45The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
Picked by 3 · 2018–2023
4:08e^(iπ) in 3.14 minutes, using dynamics | DE5
3Blue1Brown
Picked by 4 · 2020–2021
1:01:40Four Dimensional Maths: Things to See and Hear in the Fourth Dimension - with Matt Parker
The Royal Institution
Picked by 3 · 2017–2022
12:25Fantastic Quaternions - Numberphile
Numberphile
Picked by 3 · 2016–2018
1:12:122017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele
Picked by 3 · 2018–2023
27:42Mark DiMarco: User Interface Algorithms [JSConf2014]
JSConf
Picked by 4 · 2014–2018
13:44Is AI Safety a Pascal's Mugging?
Robert Miles AI Safety
Picked by 3 · 2019–2026
3:35How our voting system (and IRV) betrays your favourite candidate
The Center for Election Science
Picked by 5 · 2014–2023
29:43Pi hiding in prime regularities
3Blue1Brown
Picked by 3 · 2017–2019
51:47Lecture 19: Dynamic Programming I: Fibonacci, Shortest Paths
MIT OpenCourseWare
Picked by 4 · 2016–2021
10:58Flaw in the Enigma Code - Numberphile
Numberphile
Picked by 4 · 2013–2025
24:02How to: Work at Google — Example Coding/Engineering Interview
Life at Google
Picked by 2 · 2017–2020
9:16Graham's Number - Numberphile
Numberphile
Picked by 4 · 2013–2024
1:36:572. Behavioral Evolution
Stanford
Picked by 3 · 2016–2021
41:44Numberphile v. Math: the truth about 1+2+3+...=-1/12
Mathologer
Picked by 4 · 2020–2023
17:50Blockchain 101 - A Visual Demo
Anders Brownworth
Picked by 3 · 2017–2025
21:05The Zipf Mystery
Vsauce
Picked by 4 · 2018–2024
4:07Why do competitors open their stores next to one another? - Jac de Haan
TED-Ed
Picked by 3 · 2015–2025
5:5015 Sorting Algorithms in 6 Minutes
Timo Bingmann
Picked by 4 · 2014–2023
43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
Picked by 5 · 2018–2024
26:33The Most Underrated Algorithm
Veritasium
Picked by 5 · 2022–2024
12:04Anagrams, but where you can break apart letters: "Anagraphs"
suckerpinch
Picked by 3 · 2020–2023
13:37Times Tables, Mandelbrot and the Heart of Mathematics
Mathologer
Picked by 4 · 2017–2023
1:04:00CppCon 2015: Sean Parent "Better Code: Data Structures"
CppCon
Picked by 3 · 2016–2021
13:31Randomness is Random - Numberphile
Numberphile
Picked by 4 · 2019–2022
46:06Lower Latency Graph Queries in Cypher with Redis GraphRoi Lipman, Redis LabsTim Davis, Texas A&M U
Redis
Picked by 3 · 2018–2023
36:58"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
Picked by 4 · 2017–2022
14:28Superpositions, Sudoku, the Wave Function Collapse algorithm.
Martin Donald
Picked by 3 · 2021–2022
1:06:45Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt
Erlang Solutions
Picked by 3 · 2019–2026