7:48Search results
- Category: Mathematics & Theoretical CS
Results for “design”
47 videos7:48
59:34hash table designTalk
CppCon 2017: Matt Kulukundis “Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step”
CppCon
9 HN recommenders
42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
19:12vector transposes in type systemsTalk
Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017
The Julia Programming Language
3 HN recommenders
23:12
59:50
1:43:00queueing theory in theme parksDocumentary
Disney's FastPass: A Complicated History
Defunctland
7 HN recommenders
9:37unicode and utf-8Explainer
Characters, Symbols and the Unicode Miracle - Computerphile
Computerphile
4 HN recommenders
40:27formal modeling with alloyTalk
"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference
4 HN recommenders
51:32esoteric programmingLecture
Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
4 HN recommenders
53:46
6:18
40:39dependently typed programmingTalk
Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!
4 HN recommenders
21:14bayes' ruleExplainer
The medical test paradox, and redesigning Bayes' rule
3Blue1Brown
4 HN recommenders
1:12:12programming language notationTalk
2017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele
3 HN recommenders
27:42user interface algorithmsTalk
Mark DiMarco: User Interface Algorithms [JSConf2014]
JSConf
4 HN recommenders
5:50
43:23dependent typesTalk
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 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
29:21property-based testingTalk
Hillel Wayne - Beyond Unit Tests: Taking Your Testing to the Next Level - PyCon 2018
PyCon 2018
3 HN recommenders
1:04:30lucene internalsTalk
What is in a Lucene index? Adrien Grand, Software Engineer, Elasticsearch
LuceneSolrRevolution
3 HN recommenders
53:58game design probability perceptionTalk
GDC 2010: Sid Meier Keynote - "Everything You Know is Wrong"
GameSpot
2 HN recommenders
12:31radio receiversExplainer
The Superheterodyne Radio: No really, that's its name
Technology Connections
3 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