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
talk · intermediate · evergreen · 2017–2019 on HN
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.
Up next
6 mo on HNDEF CON 26 - Svea, Suggy, Till - Inside the Fake Science Factory
DEFCONConference
5 HN recommender · 2018–2025
12 mo on HNLec 1 | MIT 18.06 Linear Algebra, Spring 2005
MIT OpenCourseWare
11 HN recommender · 2011–2020
5 mo on HN!!Con 2016 - How I Code and Use a Computer at 1,000 WPM!! By Sina Bahram
Confreaks
2 HN recommender · 2019–2022
3 mo on HNHamming, Intro to The Art of Doing Science and Engineering: Learning to Learn (March 28, 1995)
securitylectures
3 HN recommender · 2016–2020
4 mo on HNLone Star Ruby Conference 2010 Real Software Engineering by Glenn Vanderburg
Confreaks
3 HN recommender · 2013–2025
6 mo on HNDemocracy at Work: Curing Capitalism | Richard Wolff | Talks at Google
Talks at Google
6 HN recommender · 2017–2026
11 mo on HNBret Victor The Future of Programming
Joey Reid
12 HN recommender · 2017–2026
4 mo on HN31 Hamming, Learning to Learn: You and Your Research, 6 June 1995
Hamming on Hamming: Learning to Learn
3 HN recommender · 2020–2024
13 mo on HNRich Harris - Rethinking reactivity
You Gotta Love Frontend
15 HN recommender · 2019–2026
12 mo on HNLexical Scanning in Go - Rob Pike
GoogleFOSSSydney
13 HN recommender · 2012–2025
12 mo on HNWilliam Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
PapersWeLove
11 HN recommender · 2017–2026
10 mo on HNCppCon 2016: Jason Turner “Rich Code for Tiny Computers: A Simple Commodore 64 Game in C++17”
CppCon
13 HN recommender · 2016–2024
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