Mathematics & Theoretical CS
479 videos Hacker News recommends about mathematics & theoretical cs. Filter by topic below, or sort by recommendation strength.
360 videos · page 7 of 10
All topicsRecreational & visual math141Pure mathematics97Algorithms & data structures60Probability & game theory52Information theory & signal processing43Computability & complexity theory34Logic & formal methods33Quantum computing11Math & theory (other)8
40:39Category Theory in Life - Eugenia Cheng
Lambda World
2017Mathematics & Theoretical CS3 HN mentions
1:20:1117. Succinct Structures I
MIT OpenCourseWare
2013Mathematics & Theoretical CS3 HN mentions
1:02:34MIT Godel Escher Bach Lecture 1
jasonofthel33t
2012Ideas, Learning & Language3 HN mentions
58:30What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Institute for Advanced Study
2012Mathematics & Theoretical CS3 HN mentions
6:01Cambridge Ideas - Professor Risk
Cambridge University
2009AI, Machine Learning & Data3 HN mentions
56:58Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
2016Mathematics & Theoretical CS3 HN mentions
56:03A Tour of Prolog
The Power of Prolog
2022Software Engineering & Languages3 HN mentions
5:15Jordan Peterson - Pareto Distributions
Bite-sized Philosophy
2017Life Sciences, Mind & Health3 HN mentions
3:281.1 - Course outline
LaintalAy
2016Ideas, Learning & Language3 HN mentions
7:42Extremely Large Numbers 1 - Introduction
Giroux Studios
2015Mathematics & Theoretical CS3 HN mentions
8:57Exponential growth and epidemics
3Blue1Brown
2020Mathematics & Theoretical CS20 HN mentions
6:23How We Should Vote (Range Voting)
Undefined Behavior
2016Mathematics & Theoretical CS12 HN mentions
14:03Simulating alternate voting systems
Primer
2020Mathematics & Theoretical CS10 HN mentions
17:46Why do Biden's votes not follow Benford's Law?
Stand-up Maths
2020AI, Machine Learning & Data9 HN mentions
13:17Stand-up comedy routine about Spreadsheets
Stand-up Maths
2016Arts, Comedy, Music & Film7 HN mentions
19:27Quantum Computing Expert Explains One Concept in 5 Levels of Difficulty | WIRED
WIRED
2018Mathematics & Theoretical CS6 HN mentions
1:14:51Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing
Arthur Gleckler
2017Software Engineering & Languages6 HN mentions
43:23AI Ethics, Impossibility Theorems and Tradeoffs - Chris Stucchio | Crunch 2018
CraftHub Events
2018AI, Machine Learning & Data6 HN mentions
18:16Do these scatter plots reveal fraudulent vote-switching in Michigan?
Stand-up Maths
2020AI, Machine Learning & Data6 HN mentions
1:00:31BetrFS: A Right-Optimized Write-Optimized File System
Microsoft Research
2016Systems, Networks & Security6 HN mentions
52:59David Kriesel: Lies, damned lies and scans
Free and Open Source Software Conference (FrOSCon) e.V.
2015Mathematics & Theoretical CS5 HN mentions
13:59MENACE: the pile of matchboxes which can learn
Stand-up Maths
2017AI, Machine Learning & Data5 HN mentions
30:38Solving Wordle using information theory
3Blue1Brown
2022Mathematics & Theoretical CS5 HN mentions
54:01Abseil's Open Source Hashtables: 2 Years In - Matt Kulukundis - CppCon 2019
CppCon
2019Mathematics & Theoretical CS5 HN mentions
9:27Pentagons Are Terrible at One Thing
CGP Grey
2020Mathematics & Theoretical CS5 HN mentions
9:47Feynman: Mathematicians versus Physicists
TehPhysicalist
2012Physics, Space & Chemistry5 HN mentions
1:07:34What Happens When Maths Goes Wrong? - with Matt Parker
The Royal Institution
2019Mathematics & Theoretical CS4 HN mentions
10:33Strange Spheres in Higher Dimensions - Numberphile
Numberphile
2017Mathematics & Theoretical CS4 HN mentions
1:45:56Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62
Lex Fridman
2019Computing History & Culture4 HN mentions
10:08Naive empiricism, terrorism & Ebola.
N N Taleb's Probability Questions
2017Mathematics & Theoretical CS4 HN mentions
1:30:53C++Now 2018: You Can Do Better than std::unordered_map: New Improvements to Hash Table Performance
CppNow
2018Software Engineering & Languages4 HN mentions
10:18Backpropagation calculus | Deep Learning Chapter 4
3Blue1Brown
2017AI, Machine Learning & Data4 HN mentions
13:58The Josephus Problem - Numberphile
Numberphile
2016Mathematics & Theoretical CS4 HN mentions
14:27A simple trick to design your own solutions for Rubik's cubes
Mathologer
2016Mathematics & Theoretical CS4 HN mentions
39:40"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
2018Mathematics & Theoretical CS4 HN mentions
10:37The Bayesian Trap
Veritasium
2017Mathematics & Theoretical CS4 HN mentions