21:36Search results
- Category: Mathematics & Theoretical CS
Results for “spec”
13 videos21:36
59:50
5:56kalman filteringCourse
Special Topics - The Kalman Filter (1 of 55) What is a Kalman Filter?
Michel van Biezen
5 HN recommenders
1:30:45automatic differentiationTalk
The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
3 HN recommenders
47:03
30:06formal specification with tla+Talk
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Strange Loop Conference
3 HN recommenders
39:40program synthesisTalk
"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
2 HN recommenders
9:27
32:10collision avoidance systems in JuliaTalk
Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language
1 HN recommender
6:54
0:29
0:32
5:52Sources 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