导读： 空客选择 Ada 开发无人驾驶航空系统 微软推出全新开源 BUG 寻找工具
本文字数：739，阅读时长大约： 1分钟
作者：硬核老王
微软提交补丁，用 Linux 替代 Hyper-V 根分区的 Windows
通过这些 Linux 内核补丁，Linux 将作为 Hyper-V 的根分区运行，替代原本的 Windows，从而可以使用 Linux 和微软 Hypervisor 创建完整的虚拟化栈。就像 Xen 的 Dom0 一样，根分区可以直接访问硬件，并为其托管的虚拟机创建子分区。
来源：
拍一拍：在拥抱开源的大潮之下，微软能走出 Windows 的世界，在更多场景使用更合适的开源组件，胸怀可观。
空客选择 Ada 开发无人驾驶航空系统
法国空中客车直升机公司宣布选择 AdaCore 公司的 GNAT Pro Ada 工具套装和 Ada 语言开发 VSR700 原型项目的无人驾驶航空系统。Ada 是一个有 40 年历史的结构化、静态类型、命令式和面向对象的高级编程语言，由 Pascal 及其他语言扩展而成，它在几十年前就解决了今天 Rust 语言试图解决的部分内存安全问题。
来源：
拍一拍：老树新花。既然 ADA 仍然有优势，为何这些年没兴起呢？
微软推出全新开源 BUG 寻找工具
作为已经退休的 Security Risk Detection Service 继任者，该工具是面向 Azure 的开源自托管开发者模糊测试平台。模糊测试本质上是通过严格的测试过程来消除可利用的安全漏洞，包括用大量随机数据淹没相关程序。Project OneFuzz 试图利用开源的 LLVM 编译器，从而让模糊测试变得更容易、更可持续。该测试框架已经被用于其他微软服务和平台。
来源：
拍一拍：开源项目能够互相促进发展
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
