Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!3 HN recommenders · 2017–2019
9K views · talk · evergreen · Uploaded 2017-06-20
Matt Might's Curry On talk on ending errors in code, both software and the human genome. He covers conservative approximation of the halting problem via static analysis and a computational approach to precision medicine.
Recommended as a jaw-dropping, must-see talk that gives an amazing intro to static analysis alongside Might's personal story.
53:22Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
36:45Rich Harris - Rethinking reactivity
You Gotta Love Frontend
51:18Lexical Scanning in Go - Rob Pike
GoogleFOSSSydney
![Video frame: William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]](https://i.ytimg.com/vi/OyfBQmvr2Hc/hq2.jpg)
1:31:06William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
PapersWeLove
52:07What Bodies Think About: Bioelectric Computation Outside the Nervous System - NeurIPS 2018
The Artificial Intelligence Channel
2:13:49Joe Rogan Experience #1035 - Paul Stamets
PowerfulJRE
1:19:52CppCon 2016: Jason Turner “Rich Code for Tiny Computers: A Simple Commodore 64 Game in C++17”
CppCon
57:38Clasp: Common Lisp using LLVM and C++ for Molecular Metaprogramming
Google TechTalks
3 comments from Hacker News
Matt Mights "Winning the War on Error: Solving the Halting Problem and Curing Cancer" is one that is well worth watching. [VIDEO] previous discussion on it: [LINK]
Matt Might (the subject of this article) gave a jaw-dropping talk a year ago, named "Winning the War on Error - Solving the Halting Problem and Curing Cancer" [1]. At least you can't blame him for the lack of ambition! But the best part is he's really getting it done. His security research led to developing very successful static analysis tools that exposed security bugs in real code. And he did manage to find a treatment for his own son's rare genetic disorder. [1] [VIDEO]
If you haven't seen it, Might's talk "Winning the War on Error: Solving the Halting Problem and Curing Cancer" is amazing, a must-see. It tells some of the same story, also is an introduction to static analysis..and cancer. [VIDEO]