主要观点：

• 世界上运行的设备众多，但主流操作系统数量较少，如桌面端有 Windows 和 MacOS，移动端有 Android 等。
• 探讨了什么是操作系统，其目的是运行程序，还介绍了其他运行和管理程序的系统，如 Kubernetes、浏览器、Erlang、AWS Lambda 等。
• 指出操作系统是一组工具，新的操作系统和范式不断出现但常被忽视，经典操作系统也有时代局限性。
• 强调操作系统对程序的价值，如提供功能、配置和组合程序等，且可通过多个平台适应不同用例。
• 介绍自己正在构建 EYG 这一操作系统，它支持类型安全地安装新代码，能管理对环境的访问等。

关键信息：

• 世界约有 100 亿设备，主流操作系统覆盖有限。
• 操作系统包括文件系统等，目的是运行程序。
• Kubernetes 可自动化部署等容器化应用，可视为操作系统。
• 浏览器可运行和管理 JavaScript 程序，是操作系统。
• Erlang VM 可裸机运行，负责程序对硬件的访问。
• AWS Lambda 等服务可安装、运行和管理单个函数。
• EYG 是支持类型安全安装新代码的操作系统。

重要细节：

• 医院设备等可能运行 Windows 系统。
• 对“操作系统”定义的讨论及不同描述的不足。
• 各种系统运行和管理程序的方式及特点。
• EYG 利用代数效应和处理程序等进行功能管理。