KeepFlash 精选
每日推荐 · Daily
查看本期全部推荐首期每日推荐正在准备中。
HackerTube 视频阅读馆
浏览视频馆
计算机发展史 · Vintage Computer Federation · 1:03:51
Ken Thompson 谈 Unix：管道和那些逐渐成形的程序
在 Vintage Computer Festival East 的对谈中，Ken Thompson 向 Brian Kernighan 回顾自己如何进入贝尔实验室、在 PDP-7 上构建早期 Unix，以及团队如何以专利文书处理的名义获得 PDP-11。他还讲述管道出现后工具的变化、grep 的公开、从 B 到 C 的演进，以及自己开发计算机国际象棋系统的经历。访谈保留了他对当时工作的个人回忆和时间判断。
可计算性与复杂性理论 · Confreaks · 53:21
从匿名函数到 Y 组合子：一场关于递归的推导
Jim Weirich 从图灵机和 λ 演算出发，以阶乘为例，解释高阶函数、固定点和函数重构，逐步推导出适合 Ruby 严格求值的固定点组合子。他先用阶乘改进器展示如何逐层扩展部分实现，再借助自应用和延迟调用分离出通用的递归机制。演讲也解释了为什么直接展开会导致栈溢出，以及应用序形式与通常所说的 Y 组合子有何区别。它的价值不在于替代日常递归，而在于看清递归机制如何从匿名函数中产生。