1:10:10Search results
- Category: Mathematics & Theoretical CS
Results for “systems”
45 videos1:10:10
6:31us electoral collegeExplainer
You Can Win the Presidency With 22% of the Vote
CGP Grey
3 HN recommenders
54:44
30:06formal specification with tla+Talk
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Strange Loop Conference
3 HN recommenders
1:03:44real-time audio programmingTalk
CppCon 2015: Timur Doumler “C++ in the Audio Industry”
CppCon
3 HN recommenders
1:06:15psychedelic phenomenologyLecture
The Hyperbolic Geometry of DMT Experiences (@Harvard Science of Psychedelics Club)
Qualia Research Institute
3 HN recommenders
6:35general relativityCourse
The Maths of General Relativity (1/8) - Spacetime and Worldlines
ScienceClic English
3 HN recommenders
39:40program synthesisTalk
"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
2 HN recommenders
54:01swiss table hash tablesTalk
Abseil's Open Source Hashtables: 2 Years In - Matt Kulukundis - CppCon 2019
CppCon
1 HN recommender
1:30:53hash table performanceTalk
C++Now 2018: You Can Do Better than std::unordered_map: New Improvements to Hash Table Performance
CppNow
2 HN recommenders
6:23
1:00:31write-optimized file systemsTalk
BetrFS: A Right-Optimized Write-Optimized File System
Microsoft Research
2 HN recommenders
14:03
1:02:17code optimization in c++Talk
'Fastware' - Andrei Alexandrescu [ ACCU 2016 ]
ACCU Conference
1 HN recommender
32:10collision avoidance systems in JuliaTalk
Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language
1 HN recommender
31:28
55:40antifragilityTalk
Antifragille: Things That Gain from Disorder | Nassim Nicholas Taleb | Talks at Google
Talks at Google
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
55:49c++ data structuresTalk
CppCon 2016: Chandler Carruth “High Performance Code 201: Hybrid Data Structures"
CppCon
1 HN recommender
8:58
23:34Sources 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