Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On! · 3 則 HN 推薦
影片問答
可以請 AI 解釋目前片段，或總結整部影片。如果回答附有時間戳記，點選即可跳到對應片段。
試著問：這裡講的是什麼意思？
需使用 Google 登入。確認前可查看最多會扣除多少點數。
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.
HN 推薦的原因： Recommended as a jaw-dropping, must-see talk that gives an amazing intro to static analysis alongside Might's personal story.
“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.” 閱讀 HN 討論 ↗