42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
Search results
- Category: Mathematics & Theoretical CS
Results for “computation”
20 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
10:44computational complexityExplainer
P vs. NP and the Computational Complexity Zoo
hackerdashery
4 HN recommenders
51:32esoteric programmingLecture
Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
4 HN recommenders
12:35quantum computingExplainer
The Mathematics of Quantum Computers | Infinite Series
PBS Infinite Series
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:01:47parallel algorithmsTalk
Four Solutions to a Trivial Problem - Guy Steele Jr.
Google TechTalks
4 HN recommenders
12:04anagraphsExplainer
Anagrams, but where you can break apart letters: "Anagraphs"
suckerpinch
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
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
26:48algorithmic gerrymanderingExplainer
Algorithmic Redistricting: Elections made-to-order
AlphaPhoenix
2 HN recommenders
22:54magic the gathering turing completenessDemo
I Built a COMPUTER in Magic: The Gathering
Because Science
3 HN recommenders
56:58propositions as typesTalk
Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
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
19:20
31:18
1:14:51lisp in quantum computingTalk
Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing
Arthur Gleckler
3 HN recommenders
3:34Sources 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