Computability & complexity theory
53:22Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
Picked by 17 · 2013–2026
59:2328c3: The Science of Insecurity
28c3
Picked by 9 · 2012–2024
42:43"Propositions as Types" by Philip Wadler
Strange Loop Conference
Picked by 9 · 2015–2026
46:19Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
Adrian Crenshaw
Picked by 6 · 2017–2026
34:00Math's Fundamental Flaw
Veritasium
Picked by 7 · 2021–2024
5:34On The Turing Completeness of PowerPoint (SIGBOVIK)
Tom Wildenhain
Picked by 8 · 2017–2025
1:30Life in life
Phillip Bradbury
Picked by 6 · 2013–2025
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
Picked by 5 · 2019–2024
14:27All the Numbers - Numberphile
Numberphile
Picked by 6 · 2019–2025
10:44P vs. NP and the Computational Complexity Zoo
hackerdashery
Picked by 4 · 2015–2026
40:50Ruby Manor 3 - Programming with Nothing by Tom Stuart
Confreaks
Picked by 4 · 2013–2019
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
PyCon 2019
Picked by 4 · 2019–2021
51:32Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
Picked by 4 · 2020–2026
48:36Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!
Picked by 3 · 2017–2019
3:11:09Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89
Lex Fridman
Picked by 4 · 2020–2023
1:06:45Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt
Erlang Solutions
Picked by 3 · 2019–2026
3:38:43Stephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #234
Lex Fridman
Picked by 3 · 2021–2023
17:58What P vs NP is actually about
Polylog
Picked by 4 · 2024–2026
4:22SIGBOVIK 2007: Generalized Super Mario Bros. is NP-Complete
suckerpinch
Picked by 3 · 2013–2021
1:00:341. Introduction, Finite Automata, Regular Expressions
MIT OpenCourseWare
Picked by 4 · 2021–2025
1:02:34MIT Godel Escher Bach Lecture 1
jasonofthel33t
Picked by 3 · 2017–2021
22:54I Built a COMPUTER in Magic: The Gathering
Because Science
Picked by 3 · 2019–2026
7:42Extremely Large Numbers 1 - Introduction
Giroux Studios
Picked by 2 · 2016–2022
4:23:39Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124
Lex Fridman
Picked by 2 · 2021–2023
6:14Turing & The Halting Problem - Computerphile
Computerphile
Picked by 2 · 2019–2022
6:54Does John Conway hate his Game of Life?
Numberphile
Picked by 1 · 2015–2024
28:28What is PLUS times PLUS?
2swap
Picked by 1 · 2025–2026
1:06:43Scott Aaronson | How Much Math Is Knowable?
Harvard CMSA
Picked by 1 · 2025
2:02Find the Longest Path
switchbg
Picked by 1 · 2021–2026
1:25Armok Invaders
BaronWable
Picked by 1 · 2016–2025
10:00SICP / What is "Computer Science" ?
LarryNorman
Picked by 1 · 2008–2014
4:57LSV Breaks MTGO
TCGplayer
Picked by 0 · 2017–2023
6:33epic conway's game of life
Rational Animations
Picked by 0 · 2016–2024
3:34Marble adding machine
MatthiasWandel
Picked by 0 · 2013–2021