PickVids

"We Really Don't Know How to Compute!" - Gerald Sussman (2011)

推荐理由

it made me question my views on what I think programming is

推荐throwaway71271 · 原文

说明

这是2021年由Strange Loop Conference发布的一部演讲,主题归在Functional programming。它讲的是rethinking computation这一支里的具体问题,而不是把整个领域扫一遍。适合想看推导、证明或实现细节的人。内容上可以概括成:Gerald Sussman's 2011 Strange Loop keynote argues we still do not know how to compute, comparing biological systems with how we program machines. It touches on propagators, constraint programming and robustness.这些读者给出的理由,核心是:HN commenters recommend it as a mind-expanding talk on rethinking programming, and cite it in threads on propagators, constraints and brittleness.讲法不绑某一条新闻,过几年仍然可以当材料看。从2022年到2026年,有5位不同的读者在5个不同月份把它推荐出来,其中明确叫别人去看的有0次。适合一次性看完。讲者把一个判断讲透,演示是在给这个判断配例子。如果已经会了基本定义,就把注意力放在它怎么把rethinking computation变成能跟着复述的例子。

视频信息

频道
Strange Loop Conference
时长
1 小时 4 分
发布年份
2021
在 YouTube 打开

同主题更多

想知道新收录了什么?

可选。只保存这个邮箱,不创建账号,也不拿它登录。