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