53:22y combinatorTalk
Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
17 HN recommenders
Search results
- Category: Mathematics & Theoretical CS
Results for “k language”
36 videos53:22
59:34hash table designTalk
CppCon 2017: Matt Kulukundis “Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step”
CppCon
9 HN recommenders
1:07:41
59:23
42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
44:23
1:13:41c++ performanceTalk
CppCon 2014: Chandler Carruth "Efficiency with Algorithms, Performance with Data Structures"
CppCon
7 HN recommenders
1:29:55sorting performanceTalk
Sorting Algorithms: Speed Is Found In The Minds of People - Andrei Alexandrescu - CppCon 2019
CppCon
7 HN recommenders
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
40:50
53:46
1:12:12programming language notationTalk
2017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele
3 HN recommenders
21:05
12:04anagraphsExplainer
Anagrams, but where you can break apart letters: "Anagraphs"
suckerpinch
3 HN recommenders
1:04:00c++ data structuresTalk
CppCon 2015: Sean Parent "Better Code: Data Structures"
CppCon
3 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: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
29:21property-based testingTalk
Hillel Wayne - Beyond Unit Tests: Taking Your Testing to the Next Level - PyCon 2018
PyCon 2018
3 HN recommenders
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
56:03
56:58propositions as typesTalk
Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
2 HN recommenders
39:40program synthesisTalk
"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
2 HN recommenders
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