• 空客選擇 Ada 開發無人駕駛航空系統 • 微軟推出全新開源 BUG 尋找工具
• 作者：硬核老王 •
（本文字數：739，閱讀時長大約：1 分鐘）
微軟提交補丁，用 linux 替代 Hyper-V 根分區的 windows
通過這些 Linux 內核補丁，Linux 將作為 Hyper-V 的根分區運行，替代原本的 Windows，從而可以使用 Linux 和微軟 Hypervisor 創建完整的虛擬化棧。就像 Xen 的 Dom0 一樣，根分區可以直接訪問硬件，并為其托管的虛擬機創建子分區。
來源： slashdot
拍一拍：在擁抱開源的大潮之下，微軟能走出 Windows 的世界，在更多場景使用更合適的開源組件，胸懷可觀。
空客選擇 Ada 開發無人駕駛航空系統
法國空中客車直升機公司宣布選擇 AdaCore 公司的 GNAT Pro Ada 工具套裝和 Ada 語言開發 VSR700 原型項目的無人駕駛航空系統。Ada 是一個有 40 年歷史的結構化、靜態類型、命令式和面向對象的高級編程語言，由 Pascal 及其他語言擴展而成，它在幾十年前就解決了今天 Rust 語言試圖解決的部分內存安全問題。
來源： solidot
拍一拍：老樹新花。既然 ADA 仍然有優勢，為何這些年沒興起呢？
微軟推出全新開源 BUG 尋找工具
作為已經退休的 Security Risk Detection Service 繼任者，該工具是面向 Azure 的開源自托管開發者模糊測試平臺。模糊測試本質上是通過嚴格的測試過程來消除可利用的安全漏洞，包括用大量隨機數據淹沒相關程序。Project OneFuzz 試圖利用開源的 LLVM 編譯器，從而讓模糊測試變得更容易、更可持續。該測試框架已經被用于其他微軟服務和平臺。
來源： cnbeta
