编程语言与软件工程2025programmingmadecomplicated.wordpress.com
作为 Smalltalk 方法的 Unix 可执行文件
The Unix Executable as a Smalltalk Method
进阶 · 约 45 分钟读完前置知识：Unix 进程模型基础、Smalltalk 基础、可执行文件格式 ELF
导读
这篇论文探讨把 Unix 可执行文件当作 Smalltalk 方法来理解和设计，试图在 Unix 的可执行文件/进程模型与 Smalltalk 的对象/方法模型之间建立类比或统一机制。作者围绕这一想法展开论证，讨论它如何模糊可执行文件、进程与对象方法之间的边界，并服务于更可塑、可组合的软件系统。
HN 关注点：是因为它触及操作系统与软件组件的可塑性，并牵连 Smalltalk、Lisp machine、Plan 9 等历史脉络，同时有人质疑其新颖性。
HN 评论精选
这几条评论里：支持 1 质疑 1 补充 2
支持长期受 Smalltalk、Lisp machine、Plan 9 等启发，想做可塑的组件化操作系统，认为论文对其 side project 很有参考价值。
我快速浏览了论文，很受启发；期待细读，并在自己的 side project 中借鉴。大约十年来，我一直梦想做一个高度可塑、鼓励基于组件设计的现代操作系统，读过很多相关资料。启发我的项目包括 Smalltalk-80、Lisp machine 环境（尤其是 Symbolics Genera）、1990 年代 Apple 的 Dylan/Bauhaus/OpenDoc、Plan 9、Alan Kay 的 STEPS，以及 Stephen Kell 对 Unix、Plan 9 与 Smalltalk 联系的研究。疫情期间我把想法整理到博客和 MallowOS 项目里，但除了纸面设计笔记没什么进展；去年成为社区大学教授后时间多了一些。我也把方案从基于 Plan 9 改成用 Rust 之类语言写新的 exokernel……
linguae查看英文原文
I had a chance to skim over the paper, and I'm very inspired; I'm looking forward to reading it in depth and considering its lessons while working on my side project. For about a decade, I've been dreaming about building a modern operating system that is highly malleable and encourages component-based software design, and I've collected many thoughts and done a lot of reading. I've been inspired by many projects, including the Smalltalk-80 environment, Lisp machine environments (especially Symbolics Genera), various 1990s Apple projects (Dylan, the Bauhaus operating system designed for the Newton and written in Lisp, OpenDoc), Plan 9, Alan Kay's Viewpoints Research Institute's work on STEPS (https://news.ycombinator.com/item?id=11686325), and Stephen Kell's work on exploring the connections between Unix, Plan 9, and Smalltalk. During the COVID-19 pandemic I collected my thoughts on my blog (https://mmcthrow-musings.blogspot.com/2020/04/a-proposal-for-flexible-composable.html) and on a site that I decided to dub MallowOS (https://mallowos.com/), paying homage to Apple's Pink/Taligent project and Google's Fuchsia project. Unfortunately I haven't made any progress beyond design notes written in paper notebooks; I've got swamped with work (though now I have more free time since becoming a community college professor last year; I have summers off now!). I've also changed my design plans from basing off of Plan 9 to building a new exokernel in a language like Rust, adapting NetBSD's rump kernel for driver support, and using a single-address space design similar to Opal (https://dl.acm.org/doi/10.1145/195792.195795), though this isn't reflected in the MallowOS webpage yet. Another thought has come to mind: not too long ago there was a discussion here about Etoile (http://etoileos.com/), a project from the late 2000s-early 2010s that attempted to build a GNUstep-based desktop environment. What made Etoile unique is its embrace of the Smalltalk inspirations of Objective-C. Imagine a new project that took Smalltalk inspiration one step further by adapting the ideas of this paper, fully integrating Smalltalk with the Unix framework.
补充指出该工作与 Stephen Kell 关于 C/Unix 中潜藏 Smalltalk 思想的研究相关。
让我想起 Stephen Kell 的演讲《Liberating the Smalltalk lurking in C and Unix》：https://www.youtube.com/watch?v=LwicN2u6Dro
sph查看英文原文
Reminds me of the "Liberating the Smalltalk lurking in C and Unix" talk by Stephen Kell: https://www.youtube.com/watch?v=LwicN2u6Dro
质疑质疑新颖性，认为论文只是重新发明了已有的 Woosh。
去掉那些冗长辞藻后，这不过是重新发明了 Woosh（https://woosh.sourceforge.net/）。
stevefolta查看英文原文
Once you cut through all the verbiage, this is just a re-invention of Woosh (https://woosh.sourceforge.net/).
补充指出持久内存镜像这一理念已被现代文件系统吸收，讽刺外界态度的转变。
有意思的是，Smalltalk/Lisp 圈子外的人似乎都讨厌的持久内存镜像，如今已经成了你日常的文件系统。
Flow查看英文原文
Funny, and the persistent memory-image everyone outside the Smalltalk/Lisp community seems to hate, it's your normal filesystem now.
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2025Hacker News 讨论帖148 分 · 21 评
同领域还值得读
Google 的软件工程（2017）
Software Engineering at Google (2017)
介绍了 Google 的软件工程实践，包括其单一代码库（monorepo）、几乎全部开发在主干进行而非分支、代码审查、构建系统 Blaze、协议缓冲区等工具与流程，并讨论了频繁重…
编程语言与软件工程2017 · 1,127 分 · 465 评 · 引用 15入门 · 约 45 分钟编辑精选Peter Naur：编程作为理论构建 (1985)
Peter Naur – Programming as Theory Building (1985)
Peter Naur 1985 年的经典论文《Programming as Theory Building》提出：编程的本质不是写代码或文档，而是在程序员头脑中构建对程序及其运行…
编程语言与软件工程2016 · 629 分 · 74 评入门 · 约 45 分钟编辑精选SciPy 1.0：Python 科学计算的基础算法
SciPy 1.0: fundamental algorithms for scientific computing in Python
这篇发表于 Nature Methods 的论文介绍了 SciPy 1.0——Python 科学计算生态的基石库，涵盖其核心算法模块（优化、积分、插值、线性代数等）、软件架构与社…
编程语言与软件工程2020 · 387 分 · 98 评入门 · 约 45 分钟编辑精选Lisp 的历史（1979）
History of Lisp (1979)
这是 Lisp 发明者 John McCarthy 于 1979 年为 HOPL（编程语言史）会议撰写的回顾文章，讲述 Lisp 的起源、设计动机与早期演进，文中也涉及 if 表…
编程语言与软件工程2018 · 352 分 · 44 评入门 · 约 45 分钟编辑精选使用 NumPy 进行数组编程
Array Programming with NumPy
这篇 Nature 文章介绍 NumPy 的数组编程模型及其在科学计算中的核心作用：以 ndarray 为中心，通过向量化操作让 Python 高效处理多维数组。
编程语言与软件工程2020 · 318 分 · 134 评入门 · 约 40 分钟编辑精选