Alan Kay 在 UCLA 的演讲 – 2024年2月 [视频]

推荐的演讲、论文和书籍

• 分享了多个汇总演讲、论文和阅读清单的链接，包括精心整理的 Kay 演讲“菜单”和 Viewpoints Research Institute 的论文。
• 具体推荐包括：“The Computer Revolution Hasn’t Happened Yet”、“Normal Considered Harmful”、“Back to the Future of Software Development”、关于简洁性的演讲，以及以教育为主题的演讲（包括 1995 年美国众议院与 Papert 的听证会）。
• 强烈推荐的写作包括《Early History of Smalltalk》，不过有一位评论者更喜欢 Ingalls 的一篇论文，认为它没那么自我推销。
• 还讨论了关于 PARC 历史的书；其中一本被认为是“唯一准确而且好的书”，另一本也被认为值得一读，但略显混乱。

对 Kay 思想和这次演讲的反思

• 对将计算框定为一个用于反映并放大人类智能的“共享舞台”这一表述反应强烈且积极。
• 几位评论者强调了他对学校教育的批评，以及人类倾向于相信而非思考的倾向；也有人对这类观点在典型线上论坛中很少受到欢迎表示沮丧。
• 有人指出，长期关注者可能会觉得这场演讲有些重复；也有人说这让自己想要一口气看更多内容。

实时系统、Smalltalk 和操作系统

• 人们希望拥有一个“自底向上完全活”的操作系统，即所有内容都能在运行时被检查和编辑；而当前主流系统被视为静态且封闭。
• Smalltalk、Pharo、Emacs 以及各种 live-programming 环境被提及为这一愿景的部分实现。
• 一些人描述了真实项目，其中 Smalltalk 被用于接近硬件的层面；另一些人讨论了如何重新利用 Pharo 或构建新的 live OS。
• 也有人感叹与 Kay 相关项目（如 STEPS 和 Frank）的成果消失了，或难以获取，尽管仍有人手头保存着可运行的代码。

自然语言、LLMs 与人机交互

• 有一条讨论认为，面向终端用户最缺失的关键部分，是一种可与操作系统对话的一流语言；如今的 GUI 被比作动物在按预先定义好的按钮。
• 反对意见强调，自然语言是模糊的，优化的是人际关系，因此并不适合精确、面向任务的计算。
• 另一些人回应说，较新的系统（LLMs）原则上可以吸收这种模糊性，而“prompt engineering”之所以存在，正是因为这种张力。
• 讨论分裂为两派：一派认为 LLMs 可能实现 Kay 式的动态、即时界面；另一派则怀疑 Kay 会对此不以为然，甚至感到担忧。

Smalltalk、OOP 与替代范式

• 一种批评观点认为，没有任何广泛使用的系统是基于 Smalltalk 出于“合理原因”而编写的；面向对象只是众多组织工具之一。
• 也有人回应说，Kay 后来的工作明确探索了非 OOP 范式（数组语言、空间复制计算、tuple spaces、solver communities）。
• 形式化方法、函数式编程、静态类型系统以及现代验证工具被视为超越经典 OOP 的重要进展。
• Smalltalk 的影响被追溯到其他语言和工具（Objective-C、Ruby、Java 时代的工具链），还提到了更新的、类似 Smalltalk 的语言。

相关工具、演示与历史系统

• 与演讲中展示的 Sketchpad 模拟器有关的兴趣很高；有人提供了源码、在线演示以及 Sutherland 原始论文的多个链接。
• Emacs 被分析为一种早期、深度可扩展的“live”环境，重点在于其运行时修改、hooks 和赋能用户的设计。
• 还提到了受 Kay/Engelbart 启发的 DynamicLand 和更新项目；大家期待即将发布的大批研究资料（但不清楚是否包含源码）。

元讨论与社区评论

• 有人感叹典型线上讨论中的“负能量”及其对雄心勃勃项目的影响。
• 还有人怀旧地回忆早期互联网的乐观氛围，将其与如今商业化、两极化的网络作对比，同时指出低质量交流在现实世界里也一直很常见。