Skip to content
HomeVideos
AllLongsCategoriesPlaylists
BooksBlogsPodcasts
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K

    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

    YouTube

    48:36 · 8.9K views · Jun 20, 2017

    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.

    Software Engineering & LanguagesCompilers, interpreters & program analysisComputability & complexity theoryBiology & biotechnology
    1. 6:14
      Turing & The Halting Problem - ComputerphileComputerphile919K views • 12 years ago
    2. 1:04:19
      "We Really Don't Know How to Compute!" - Gerald Sussman (2011)Strange Loop Conference96K views • 5 years ago
    3. 1:07:22
      Invited Talk - Guy SteeleClojureTV39K views • 9 years ago
    4. 42:43
      "Propositions as Types" by Philip WadlerStrange Loop Conference144K views • 11 years ago
    5. 34:00
      Math's Fundamental FlawVeritasium31M views • 5 years ago
    6. 51:32
      Great Impractical Ideas in Computer Science: PowerPoint ProgrammingTom Wildenhain2.2M views • 7 years ago
    7. 1:12:12
      2017 ACM PPoPP Keynote: It's Time for a New Old LanguageGuy Steele6.8K views • 9 years ago
    8. 43:58
      "The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)Strange Loop Conference141K views • 3 years ago
    9. 49:47
      DEF CON 25 - John Sotos - Genetic Diseases to Guide Digital Hacks of the Human GenomeDEFCONConference14K views • 9 years ago
    10. 1:13:10
      Parsing with DerivativesStanford13K views • 15 years ago
    11. 1:14:48
      The Future of Mathematics?Microsoft Research116K views • 7 years ago
    12. 11:48
      John Rauser keynote: "Statistics Without the Agonizing Pain" -- Strata + Hadoop 2014O'Reilly61K views • 12 years ago
    13. 10:44
      P vs. NP and the Computational Complexity Zoohackerdashery3.7M views • 12 years ago
    14. 59:23
      28c3: The Science of Insecurity28c342K views • 14 years ago
    15. 40:27
      "Finding bugs without running or even looking at code" by Jay ParlarStrange Loop Conference42K views • 7 years ago
    16. 1:21:28
      Lecture 01 - The Learning Problemcaltech1.5M views • 14 years ago
    17. 53:25
      The Only Unbreakable LawMolly Rocket487K views • 4 years ago
    18. 1:03:07
      Clutching at Random Straws, Matt Parker | LMS Popular Lectures 2010London Mathematical Society601K views • 12 years ago
    19. 36:58
      "A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya SiramStrange Loop Conference26K views • 9 years ago
    20. 1:26:02
      Stanford Seminar - The Soul of a New Machine: Rethinking the ComputerStanford Online76K views • 6 years ago

    3 comments from Hacker News

    1. @the_grueSep 2018· in “A Battle Plan for a War on Rare Diseases: Conversation with Matt Might”

      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

      Strongly recommendsView on HN
    2. @yesenadamMar 2019· in “How To: Get Tenure – Matt Might”

      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

      Strongly recommendsView on HN
    3. @dpeckDec 2017· in “Ask HN: What's your favorite tech talk from 2017?”

      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]

      Strongly recommendsView on HN