TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Winning the War on Error: Solving the Halting Problem and Curing Cancer [video]

99 点作者 cmeiklejohn将近 8 年前

6 条评论

dlo将近 8 年前
23:10: &quot;Cancer is not one specific disease. Cancer is actually many diseases put together. In fact, cancer is many rare diseases -- if you take cancer to the limit, it&#x27;s likely the case that the same cancer has never occurred twice.<p>&quot;If you look at the genetic footprint of cancer, even within the same patient -- as I&#x27;ll explain in just a moment -- you get very different cancers from the same originating source. And I&#x27;ll explain why that is. That&#x27;s why this sort of very information-driven approach to curing cancer is absolutely critical.&quot;<p>26:29: &quot;... the genome has syntax. And in fact, it has a semantics. And beyond that, it has an instruction set too.&quot;<p>30:00: &quot;So when you&#x27;re fighting cancer, you&#x27;re fighting evolution itself inside your own body.&quot;
agumonkey将近 8 年前
Talking about that, I feel obliged again to mention the work of Damien Woods, Yannick Rondelez and Nicolas Schabanel who are actually assembling DNA tiles implementing wang tile gliders (a la game of life) and then &quot;higher&quot; primitives up to a nano Turing complete machine.<p>An odd feeling to watch his slides (I don&#x27;t have them as of now sadly)
评论 #15068120 未加载
justifier将近 8 年前
Link to another lecture by this lecture, mentioned mid op, where the lecturer live codes an abstract interpreter like the one discussed in the op<p><a href="https:&#x2F;&#x2F;youtu.be&#x2F;POvX4hYIoxg" rel="nofollow">https:&#x2F;&#x2F;youtu.be&#x2F;POvX4hYIoxg</a>
norswap将近 8 年前
I was at Curry On! but missed that talked. Everyone kept telling how good it was so I watched it as soon as it was put online.<p>While Matt&#x27;s (medical) story is truly inspiring, the link with the other (CS) part is really dubious to say the least.<p>Still, it shows how transposing ideas from a discipline to another can yield leap and bounds advances, although in this particular case it was fortunate that this happened very quickly after the technology to do this became available.
评论 #15069861 未加载
justifier将近 8 年前
A fun recent example mitigating the halting problem came from an affectionate troll level(o) in mario maker<p>I&#x27;m unsure whether the underlying implementation uses approximation techniques, as the op suggests, or if Nintendo simply identified potential halting offenders and added a layer of checks to overcome the intractable issue<p>note: the clip is loud and includes the player yelling fuck; in case that offends.. that said, the whole level playthrough is a lot of fun<p>(o) <a href="https:&#x2F;&#x2F;m.youtube.com&#x2F;watch?v=Hg4OjsC3Ty8&amp;t=1102" rel="nofollow">https:&#x2F;&#x2F;m.youtube.com&#x2F;watch?v=Hg4OjsC3Ty8&amp;t=1102</a>
评论 #15067615 未加载
评论 #15068837 未加载
ape4将近 8 年前
In the talk he says he cured 5 diseases in 12 months. Not bad.