HackerTube — KeepFlash 精选

KeepFlash 精选

返回 KeepFlash

试着搜索

搜索视频信息、双语字幕和文章内容。

1:03:51

计算机发展史01

Ken Thompson 谈 Unix：管道和那些逐渐成形的程序

Vintage Computer Federation2019

在 Vintage Computer Festival East 的对谈中，Ken Thompson 向 Brian Kernighan 回顾自己如何进入贝尔实验室、在 PDP-7 上构建早期 Unix，以及团队如何以专利文书处理的名义获得 PDP-11。他还讲述管道出现后工具的变化、grep 的公开、从 B 到 C 的演进，以及自己开发计算机国际象棋系统的经历。访谈保留了他对当时工作的个人回忆和时间判断。

53:21

可计算性与复杂性理论02

从匿名函数到 Y 组合子：一场关于递归的推导

Confreaks2012

Jim Weirich 从图灵机和 λ 演算出发，以阶乘为例，解释高阶函数、固定点和函数重构，逐步推导出适合 Ruby 严格求值的固定点组合子。他先用阶乘改进器展示如何逐层扩展部分实现，再借助自应用和延迟调用分离出通用的递归机制。演讲也解释了为什么直接展开会导致栈溢出，以及应用序形式与通常所说的 Y 组合子有何区别。它的价值不在于替代日常递归，而在于看清递归机制如何从匿名函数中产生。

好内容， 值得慢慢看。

全部视频

Ken Thompson 谈 Unix：管道和那些逐渐成形的程序

从匿名函数到 Y 组合子：一场关于递归的推导

好内容，值得慢慢看。