实体
MirageOS
MirageOS
PulseAugur coverage of MirageOS — every cluster mentioning MirageOS across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
MirageOS Unikernels 集成到 NixOS 以实现可复现的 DNS 服务器部署
本文详细介绍了将 MirageOS unikernels 与 NixOS 集成以部署域名系统 (DNS) 服务器的过程。文章强调了 OCaml 生态系统中可复现部署的挑战，以及 Nix 如何提供解决方案。作者演示了如何使用 NixOS 配置 DNS 服务器，并讨论了 MirageOS 的优势，例如通过将应用程序代码直接嵌入 unikernel 来减小攻击面和提高效率。
-
OCaml 生态系统 Raven 提供类型安全的机器学习工具，可媲美 Python 库
Raven 是一个新推出的 OCaml 库生态系统，专为数值计算、机器学习和数据科学而设计。它旨在提供流行的 Python 库（如 NumPy、JAX 和 PyTorch）的类型安全替代品。该项目包括用于 n 维数组、自动微分、标记化、神经网络、数据帧和绘图的模块，目标是构建一个强大的科学计算环境。