27:13robust-first computingDemo
Robust-first computing: Demon Horde Sort (full version)
Dave Ackley
3 HN recommenders
Search results
- Category: Mathematics & Theoretical CS
Results for “architecture”
10 videos27:13
59:50
40:27formal modeling with alloyTalk
"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference
4 HN recommenders
1:04:00c++ data structuresTalk
CppCon 2015: Sean Parent "Better Code: Data Structures"
CppCon
3 HN recommenders
1:31:28computer arithmetic positsLecture
Stanford Seminar: Beyond Floating Point: Next Generation Computer Arithmetic
Stanford Online
5 HN recommenders
9:16
53:56
9:20early electronic calculatorsExplainer
An astonishing old calculator - Numberphile
Numberphile
1 HN recommender
1:03:14category theory for api designTalk
Category Theory, The essence of interface-based design - Erik Meijer
FooCafe
1 HN recommender
1:34:42floating point arithmeticTalk
The Great Debate @ARITH23: John Gustafson and William Kahan
dancefan
1 HN recommender
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