Justin Cormack，曾参与 Mirage OS 和 Unikernel Systems 的工作，注意到 unikernel 兴趣的回升，并为他的通讯录访谈了作者。这次对话在酒吧喝啤酒时进行，涵盖了 Mirage、Orleans、Haskell、Nix 和 Cursed。Unikernel 将应用程序和操作系统合并，消除了用户空间——因此，如 Web 服务器或 DNS 等服务必须作为库构建。历史上这很困难，因为缺少驱动程序和存储支持，需要从 NetBSD 拉取组件。作者将传统的操作系统设计称为‘设计债务’，根源在于 40 年前针对人类操作员的多用户假设。这种遗产创造了攻击面：弹出用户空间应用程序会给攻击者提供 shell 和‘VIP 管家’用于外泄。Unikernel 通过移除 shell 和解释器来降低这种风险——没有它们，像 AI 模型权重这样的内容没有下一步操作，将轻松的 RCE 漏洞转变为需要源代码的定向攻击。虽然库缺口（如 OCaml 中的 Stripe）曾阻碍采用，但 AI 现在通过自动化使缺失库的移植成为可能。这种转变不只是技术性的——它是认知的：通过利用 AI 处理复杂性来克服‘Unikernel 难’的教条。
来源: Hacker News · 由HeadlinesBriefing整理摘要