1:06:00immutable data structuresTalk
CppCon 2017: Juan Pedro Bolivar Puente “Postmodern immutable data structures”
CppCon
5 HN recommenders
Search results
- Category: Mathematics & Theoretical CS
Results for “systems programming”
8 videos1:06:00
19:12vector transposes in type systemsTalk
Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017
The Julia Programming Language
3 HN recommenders
58:36lock-free data structuresTalk
Advanced Topics in Programming Languages: A Lock-Free Hash Table
GoogleTalksArchive
4 HN recommenders
36:58ATS systems programmingTalk
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
4 HN recommenders
1:06:45concurrency modelsTalk
Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt
Erlang Solutions
3 HN recommenders
1:03:44real-time audio programmingTalk
CppCon 2015: Timur Doumler “C++ in the Audio Industry”
CppCon
3 HN recommenders
39:40program synthesisTalk
"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
2 HN recommenders
32:10collision avoidance systems in JuliaTalk
Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language
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