53:22y combinatorTalk
Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
17 HN recommenders
Search results
- Category: Mathematics & Theoretical CS
Results for “computability”
34 videos53:22
59:23
42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
46:19mov-only computationTalk
Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
Adrian Crenshaw
6 HN recommenders
34:00
5:34turing completenessTalk
On The Turing Completeness of PowerPoint (SIGBOVIK)
Tom Wildenhain
8 HN recommenders
1:30
1:02:15lambda calculusLecture
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
5 HN recommenders
14:27
10:44computational complexityExplainer
P vs. NP and the Computational Complexity Zoo
hackerdashery
4 HN recommenders
40:50
3:26:34lambda calculusTutorial
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
PyCon 2019
4 HN recommenders
51:32esoteric programmingLecture
Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
4 HN recommenders
48:36static analysis and precision medicineTalk
Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!
3 HN recommenders
3:11:09cellular automata and computationPodcast
Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89
Lex Fridman
4 HN recommenders
1:06:45concurrency modelsTalk
Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt
Erlang Solutions
3 HN recommenders
3:38:43wolfram physics and complexityInterview
Stephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #234
Lex Fridman
3 HN recommenders
17:58
4:22computational complexity of gamesComedy
SIGBOVIK 2007: Generalized Super Mario Bros. is NP-Complete
suckerpinch
3 HN recommenders
1:00:34theory of computationLecture
1. Introduction, Finite Automata, Regular Expressions
MIT OpenCourseWare
4 HN recommenders
1:02:34
22:54magic the gathering turing completenessDemo
I Built a COMPUTER in Magic: The Gathering
Because Science
3 HN recommenders
7:42extremely large numbersExplainer
Extremely Large Numbers 1 - Introduction
Giroux Studios
2 HN recommenders
4:23:39fundamental physics and computationPodcast
Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124
Lex Fridman
2 HN recommenders
Sources and selection
Videos shared and discussed on Hacker News, with original community evidence and topic labels.
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes