1:03:40scanner compression bugsTalk
David Kriesel: Traue keinem Scan, den du nicht selbst gefälscht hast
media.ccc.de
4 HN recommenders
Search results
- Category: Mathematics & Theoretical CS
Results for “ced”
11 videos1:03:40
58:36lock-free data structuresTalk
Advanced Topics in Programming Languages: A Lock-Free Hash Table
GoogleTalksArchive
4 HN recommenders
16:30
23:46
14:28procedural generation algorithmsExplainer
Superpositions, Sudoku, the Wave Function Collapse algorithm.
Martin Donald
3 HN recommenders
1:20:11
58:30foundations of mathematicsLecture
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Institute for Advanced Study
3 HN recommenders
52:59xerox jbig2 scanner bugTalk
David Kriesel: Lies, damned lies and scans
Free and Open Source Software Conference (FrOSCon) e.V.
2 HN recommenders
11:52philosophy of mathematicsInterview
Gregory Chaitin - Is Mathematics Invented or Discovered?
Closer To Truth
1 HN recommender
57:32constructive mathematicsLecture
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Institute for Advanced Study
1 HN recommender
10:31fermi paradoxExplainer
Why We Should NOT Look For Aliens - The Dark Forest
Kurzgesagt – In a Nutshell
Discussed on HN
Sources 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