34:00Search results
- Category: Mathematics & Theoretical CS
Results for “halting problem”
4 videos
34:00
48:36static analysis and precision medicineTalk
Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!
3 HN recommenders
36:14program synthesisTalk
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV
3 HN recommenders
6:14Sources 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