23:12Search results
- Category: Mathematics & Theoretical CS
Results for “model s”
9 videos
23:12
40:27formal modeling with alloyTalk
"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference
4 HN recommenders
53:46
4:07game theoryExplainer
Why do competitors open their stores next to one another? - Jac de Haan
TED-Ed
3 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
13:23
1:06:15psychedelic phenomenologyLecture
The Hyperbolic Geometry of DMT Experiences (@Harvard Science of Psychedelics Club)
Qualia Research Institute
3 HN recommenders
57:21generalization and compression in mlTalk
An Observation on Generalization
Simons Institute for the Theory of Computing
Discussed on HN
4:45Sources 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