Rust
Microsoft Research introduces PDD Kit to verify agent-written web apps
Microsoft Research has introduced PDD Kit, a toolkit designed to formally verify code written by coding agents. It converts a developer’s intent into a formal…
Microsoft: Nine engineers merged 1,211 pull requests in a day on Copilot Cowork
Nine Microsoft engineers merged 1,211 pull requests into the Copilot Cowork backend on October 21, according to Microsoft, with agents writing most of the code. The…
Microsoft: When AI Rewrites Millions of Lines of Code, Trust Is the Bottleneck
Microsoft says generating code is becoming the easy part of agentic software engineering, and that knowing whether to trust it is the real challenge. In a new post, two…
Qdrant's Rust cross-encoder library is only 1.1x faster than Python on small models
Qdrant has rewritten cross-encoder inference in Rust as a library called cross-encode-rs, and its own benchmark shows a modest gain: about 1.1x faster at the median than…