29:21property-based testingTalk
Hillel Wayne - Beyond Unit Tests: Taking Your Testing to the Next Level - PyCon 2018
PyCon 2018
3 HN recommenders
Search results
- Category: Mathematics & Theoretical CS
Results for “language”
45 videos29:21
1:00:34theory of computationLecture
1. Introduction, Finite Automata, Regular Expressions
MIT OpenCourseWare
4 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
30:37array programming treesTalk
High-performance Tree Wrangling, the APL Way // Aaron Hsu // Dyalog '18
Dyalog User Meetings
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
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
38:36dependent typesTalk
"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
2 HN recommenders
43:31smt solvers and program verificationTalk
Analyzing Programs with Z3
Compose Conference
2 HN recommenders
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
58:37ada spark adoptionTalk
NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
1 HN recommender
9:42
31:28
46:36
55:49c++ data structuresTalk
CppCon 2016: Chandler Carruth “High Performance Code 201: Hybrid Data Structures"
CppCon
1 HN recommender
31:00
57:21generalization and compression in mlTalk
An Observation on Generalization
Simons Institute for the Theory of Computing
Discussed on HN
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