Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer

推荐理由

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.

强烈推荐yesenadam · 原文2019年3月

说明

这是2017年由Curry On!发布的一部演讲，主题归在Compilers, interpreters & program analysis。它讲的是static analysis and precision medicine这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：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.讲法不绑某一条新闻，过几年仍然可以当材料看。从2017年到2019年，有3位不同的读者在3个不同月份把它推荐出来，其中明确叫别人去看的有3次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把static analysis and precision medicine变成能跟着复述的例子。

视频信息

频道

Curry On!

时长

48 分 36 秒

发布年份

2017

同主题更多

• Rich Harris - Rethinking reactivity
• Lexical Scanning in Go - Rob Pike
• William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
• CppCon 2016: Jason Turner “Rich Code for Tiny Computers: A Simple Commodore 64 Game in C++17”
• Clasp: Common Lisp using LLVM and C++ for Molecular Metaprogramming
• Compiling C to printable x86, to make an executable research paper