1:28:23Search results
- Category: Mathematics & Theoretical CS
Results for “micro”
11 videos1:28:23
1:07:10
1:14:48
59:50
1:30:45automatic differentiationTalk
The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
3 HN recommenders
4:07game theoryExplainer
Why do competitors open their stores next to one another? - Jac de Haan
TED-Ed
3 HN recommenders
1:00:17floating-point string conversionTalk
Stephan T. Lavavej “Floating-Point ＜charconv＞: Making Your Code 10x Faster With C++17's Final Boss”
CppCon
3 HN recommenders
6:01
1:00:31write-optimized file systemsTalk
BetrFS: A Right-Optimized Write-Optimized File System
Microsoft Research
2 HN recommenders
4:32visual microphoneDemo
The Visual Microphone: Passive Recovery of Sound from Video
Abe Davis's Research
1 HN recommender
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