Cheap code, precious trust: Code modernization at scale

Microsoft describes its work using AI agents to modernize enormous codebases, including Windows and Azure, through migrations, C/C++-to-Rust translation, and formal specifications. The central point is that generating code is now easy, so the bottleneck has shifted to verifying changes, with human attention focused on approving knowledge bases, validation gates…