42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
Search results
- Category: Mathematics & Theoretical CS
Results for “turing”
13 videos42:43
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
51:32esoteric programmingLecture
Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
4 HN recommenders
10:58
22:54magic the gathering turing completenessDemo
I Built a COMPUTER in Magic: The Gathering
Because Science
3 HN recommenders
6:14
28:28
1:06:43busy beaver and computabilityLecture
Scott Aaronson | How Much Math Is Knowable?
Harvard CMSA
1 HN recommender
1:25
4:57Sources and selection
A good mathematical explanation makes the reasoning visible. This section collects videos on mathematics and theoretical computer science, including algorithms, complexity, probability and visual approaches to difficult ideas. It is for learners building foundations as well as programmers looking for the theory behind a familiar technique.
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