Mathematics & Theoretical CS
Computability & complexity theory
53:22Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
65K views • 14 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
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 • 14 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
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
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
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
2:02Find the Longest Path
switchbg
57K views • 16 years ago
1:25Armok Invaders
BaronWable
57K views • 10 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