Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!3 HN recommenders · recommended in 3 months, 2017-2019
9K views · 9 years ago · talk · evergreen
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.
6:14Turing & The Halting Problem - Computerphile
Computerphile
919K views • 12 years ago
1:04:19"We Really Don't Know How to Compute!" - Gerald Sussman (2011)
Strange Loop Conference
96K views • 5 years ago
1:13:10Parsing with Derivatives
Stanford
13K views • 15 years ago
1:07:22Invited Talk - Guy Steele
ClojureTV
39K views • 9 years ago
1:12:122017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele
7K views • 9 years ago
51:32Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
2.2M views • 7 years ago
1:03:07Clutching at Random Straws, Matt Parker | LMS Popular Lectures 2010
London Mathematical Society
601K views • 12 years ago
34:00Math's Fundamental Flaw
Veritasium
30.8M views • 5 years ago
15:03Living Computation: Robust-first programming in ULAM
Dave Ackley
4K views • 11 years ago
11:48John Rauser keynote: "Statistics Without the Agonizing Pain" -- Strata + Hadoop 2014
O'Reilly
61K views • 12 years ago
42:43"Propositions as Types" by Philip Wadler
Strange Loop Conference
143K views • 11 years ago
32:02Autonomous Testing and the Future of Software Development - Will Wilson
The Linux Foundation
7K views • 7 years ago
1:26:02Stanford Seminar - The Soul of a New Machine: Rethinking the Computer
Stanford Online
76K views • 6 years ago
10:44P vs. NP and the Computational Complexity Zoo
hackerdashery
3.7M views • 12 years ago
40:56"Liberating the Smalltalk lurking in C and Unix" by Stephen Kell
Strange Loop Conference
25K views • 12 years ago
40:27"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference
42K views • 7 years ago
1:02:57Peter Norvig - The Unreasonable Effectiveness of Data
UBC Computer Science
74K views • 15 years ago
1:10:00The Mental Game of Python - Raymond Hettinger
SF Python
131K views • 7 years ago
28:10CANDO: A Compiled Programming Language for Computer-Aided Nanomaterial Design and Optimization
European Lisp Symposium
3K views • 10 years ago
14:46Robust-first computing: Beyond efficiency
Dave Ackley
8K views • 13 years ago
3 comments from Hacker News
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. ▶ this video
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] ▶ this video
Matt Mights "Winning the War on Error: Solving the Halting Problem and Curing Cancer" is one that is well worth watching. ▶ this video previous discussion on it: link