unikernels

一篇介绍使用 OCaml 编写 unikernel 的文章，探讨如何构建最小化的虚拟机镜像，以实现轻量级、专用化的部署。

作者结合与 Justin Cormack 的访谈，论证 unikernel 过去难用的问题已被 AI 模型权重化解，并认为传统多用户操作系统是设计负债，unikernel 能大幅缩小攻击面，让 AI 驱动的入侵无从下手。

这篇博客文章解释了如何通过 Nix 实现 MirageOS Unikernels 的可复现部署，结合函数式编程来构建更安全、更高效的网络应用，如 DNS 服务器。