PickVidsMatt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Why it was recommended
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.
Strong recommendationyesenadam · Original
What it covers
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. It is for someone who already knows the basic terms and wants the next step.
Video details
- Channel
- Curry On!
- Length
- 48 min 36 sec
- Year
- 2017
More in this topic
- 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