YSK News

Tag #Rust

6 post(s)

Telegram RSS
微軟/官方:代理人軟體工程——Windows/Azure 大規模遷移與 C/C++ 轉 Rust;形式化驗證成信任關鍵

微軟/官方:代理人軟體工程——Windows/Azure 大規模遷移與 C/C++ 轉 Rust;形式化驗證成信任關鍵

微軟於二零二六年十月二十六日在官方 Command Line 部落格發表系列首篇,說明其以 AI 代理人在 Windows 與 Azure 等超大型程式碼庫上執行大規模遷移與語言現代化,並強調「產生程式碼變容易,信任才是難題」;工作範圍包括把約四億行程式碼遷至新編譯器工具鏈,以及把舊有 C/C++ 現代化為日益輔以形式...

Microsoft/GitHub 用 Copilot 代理把運行時改寫成 Rust:八十萬行、約十二萬美元 token,吞吐最高提升近十六倍

Microsoft/GitHub 用 Copilot 代理把運行時改寫成 Rust:八十萬行、約十二萬美元 token,吞吐最高提升近十六倍

The Register 於九月十八日報道,GitHub 已把驅動 Copilot CLI、應用與 SDK 的代理運行時,由 TypeScript/Node.js/V8 全面改寫為逾八十萬行正式 Rust,主要靠 Copilot 代理完成,約消耗一千三百六十三億 token、模型費用約十二萬美元,另加約三週一名工程師時...