HackerTube.runGood videos, with context.
Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
17 HN recommenders · intermediate
Computability & complexity theory
Theory of computation: Turing machines, halting problem, P vs NP, complexity classes, lambda calculus, automata, Church-Turing, Goedel incompleteness, computability.
34videos to discover
Videos in this topic
28c3: The Science of Insecurity
9 HN recommenders · intermediate
"Propositions as Types" by Philip Wadler
9 HN recommenders · intermediate
Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
6 HN recommenders · advanced
On The Turing Completeness of PowerPoint (SIGBOVIK)
8 HN recommenders · general
Math's Fundamental Flaw
7 HN recommenders · general
Life in life
6 HN recommenders · general
All the Numbers - Numberphile
6 HN recommenders · intro
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
5 HN recommenders · intro
P vs. NP and the Computational Complexity Zoo
4 HN recommenders · intro
Ruby Manor 3 - Programming with Nothing by Tom Stuart
4 HN recommenders · intermediate
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
4 HN recommenders · intermediate
Great Impractical Ideas in Computer Science: PowerPoint Programming
4 HN recommenders · intermediate
Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89
4 HN recommenders · intermediate
Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
3 HN recommenders · intermediate
What P vs NP is actually about
4 HN recommenders · intro
Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt
3 HN recommenders · intermediate
Stephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #234
3 HN recommenders · general
SIGBOVIK 2007: Generalized Super Mario Bros. is NP-Complete
3 HN recommenders · intermediate
1. Introduction, Finite Automata, Regular Expressions
4 HN recommenders · intro
MIT Godel Escher Bach Lecture 1
3 HN recommenders · intermediate
I Built a COMPUTER in Magic: The Gathering
3 HN recommenders · general
Extremely Large Numbers 1 - Introduction
2 HN recommenders · intro
Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124
2 HN recommenders · intermediate
Turing & The Halting Problem - Computerphile
2 HN recommenders · intro
Does John Conway hate his Game of Life?
1 HN recommenders · general
What is PLUS times PLUS?
1 HN recommenders · intro
Scott Aaronson | How Much Math Is Knowable?
1 HN recommenders · intermediate
Find the Longest Path
1 HN recommenders · general
Armok Invaders
1 HN recommenders · general
SICP / What is "Computer Science" ?
1 HN recommenders · intro
LSV Breaks MTGO
0 HN recommenders · intermediate
epic conway's game of life
0 HN recommenders · general
Marble adding machine
0 HN recommenders · general