Mathematics & Theoretical CS
479 videos Hacker News recommends about mathematics & theoretical cs. Filter by topic below, or sort by recommendation strength.
34 videos
All topicsRecreational & visual math141Pure mathematics97Algorithms & data structures60Probability & game theory52Information theory & signal processing43Computability & complexity theory34Logic & formal methods33Quantum computing11Math & theory (other)8
53:22Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
2012Software Engineering & Languages20 HN mentions
42:43"Propositions as Types" by Philip Wadler
Strange Loop Conference
2015Mathematics & Theoretical CS20 HN mentions
59:2328c3: The Science of Insecurity
28c3
2011Systems, Networks & Security13 HN mentions
46:19Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
Adrian Crenshaw
2015Systems, Networks & Security11 HN mentions
34:00Math's Fundamental Flaw
Veritasium
2021Mathematics & Theoretical CS15 HN mentions
5:34On The Turing Completeness of PowerPoint (SIGBOVIK)
Tom Wildenhain
2017Mathematics & Theoretical CS13 HN mentions
1:30Life in life
Phillip Bradbury
2012Mathematics & Theoretical CS20 HN mentions
14:27All the Numbers - Numberphile
Numberphile
2019Mathematics & Theoretical CS12 HN mentions
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
2017Mathematics & Theoretical CS5 HN mentions
10:44P vs. NP and the Computational Complexity Zoo
hackerdashery
2014Mathematics & Theoretical CS8 HN mentions
40:50Ruby Manor 3 - Programming with Nothing by Tom Stuart
Confreaks
2012Mathematics & Theoretical CS5 HN mentions
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
PyCon 2019
2019Mathematics & Theoretical CS4 HN mentions
3:11:09Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89
Lex Fridman
2020Mathematics & Theoretical CS7 HN mentions
51:32Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
2019Mathematics & Theoretical CS5 HN mentions
48:36Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!
2017Software Engineering & Languages3 HN mentions
1:06:45Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt
Erlang Solutions
2019Systems, Networks & Security5 HN mentions
17:58What P vs NP is actually about
Polylog
2024Mathematics & Theoretical CS5 HN mentions
4:22SIGBOVIK 2007: Generalized Super Mario Bros. is NP-Complete
suckerpinch
2008Mathematics & Theoretical CS4 HN mentions
3:38:43Stephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #234
Lex Fridman
2021Mathematics & Theoretical CS3 HN mentions
1:00:341. Introduction, Finite Automata, Regular Expressions
MIT OpenCourseWare
2021Mathematics & Theoretical CS5 HN mentions
22:54I Built a COMPUTER in Magic: The Gathering
Because Science
2019Mathematics & Theoretical CS4 HN mentions
1:02:34MIT Godel Escher Bach Lecture 1
jasonofthel33t
2012Ideas, Learning & Language3 HN mentions
7:42Extremely Large Numbers 1 - Introduction
Giroux Studios
2015Mathematics & Theoretical CS3 HN mentions
6:14Turing & The Halting Problem - Computerphile
Computerphile
2014Mathematics & Theoretical CS4 HN mentions
4:23:39Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124
Lex Fridman
2020Physics, Space & Chemistry3 HN mentions
6:54Does John Conway hate his Game of Life?
Numberphile
2014Mathematics & Theoretical CS6 HN mentions
28:28What is PLUS times PLUS?
2swap
2025Mathematics & Theoretical CS5 HN mentions
10:00SICP / What is "Computer Science" ?
LarryNorman
2006Ideas, Learning & Language4 HN mentions
1:25Armok Invaders
BaronWable
2016Games & Game Development3 HN mentions
2:02Find the Longest Path
switchbg
2010Arts, Comedy, Music & Film3 HN mentions
1:06:43Scott Aaronson | How Much Math Is Knowable?
Harvard CMSA
2025Mathematics & Theoretical CS3 HN mentions
3:34Marble adding machine
MatthiasWandel
2007Engineering, Transport & Making8 HN mentions
6:33epic conway's game of life
Rational Animations
2011Mathematics & Theoretical CS4 HN mentions
4:57LSV Breaks MTGO
TCGplayer
2012Games & Game Development4 HN mentions