7:48Search results
- Category: Mathematics & Theoretical CS
Results for “opera”
9 videos7:48
27:19game theoryExplainer
Once you understand game theory, you understand the world.
Veritasium
10 HN recommenders
3:39mechanical fourier analysisExplainer
(1/4) Intro/History: Introducing a 100-year-old mechanical computer
engineerguy
6 HN recommenders
40:27formal modeling with alloyTalk
"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference
4 HN recommenders
7:42
11:32
1:36:57
54:44
49:45formally verified operating systemsTalk
seL4 Is Free – What Does This Mean For You?
Linux.conf.au 2015 -- Auckland, New Zealand
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