59:23Search results
- Category: Mathematics & Theoretical CS
Results for “security”
11 videos59:23
46:19mov-only computationTalk
Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
Adrian Crenshaw
6 HN recommenders
1:03:40scanner compression bugsTalk
David Kriesel: Traue keinem Scan, den du nicht selbst gefälscht hast
media.ccc.de
4 HN recommenders
8:34verifiable votingExplainer
Was YOUR vote counted? (feat. homomorphic encryption) - Numberphile
Numberphile
5 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
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
5:06
50:27high-dimensional geometryLecture
Hamming, "n-Dimensional Space" (April 14, 1995)
securitylectures
3 HN recommenders
52:59xerox jbig2 scanner bugTalk
David Kriesel: Lies, damned lies and scans
Free and Open Source Software Conference (FrOSCon) e.V.
2 HN recommenders
58:37ada spark adoptionTalk
NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
1 HN recommender
49:45formally verified operating systemsTalk
seL4 Is Free – What Does This Mean For You?
Linux.conf.au 2015 -- Auckland, New Zealand
1 HN recommender
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