GitHub Rewrote Copilot in Rust Using Copilot — and the Numbers Are Wild
GitHub used AI agents to rewrite 800,000 lines of its Copilot runtime from TypeScript to Rust in 14.5 weeks, achieving a 15.9× performance boost and cutting memory usage from 1.3GB to 126MB. »
Ubuntu 26.10 'Stonking Stingray' Ships with Full Rust Coreutils and GNOME 51
Ubuntu 26.10 completes its migration to Rust-based core utilities and ships with Linux kernel 7.3 and GNOME 51 — a substantive interim release worth a look. »
OpenAI Publishes 722 AI-Generated Math Proofs — and an Unreleased Model Did the Work
OpenAI quietly dropped 722 mathematics papers on GitHub, all generated by an internal frontier model. Many include machine-verified Lean proofs — a new benchmark for AI in science. »
Apple's First Touchscreen MacBook Pro Arrives with OLED Display
Apple has unveiled its first-ever touchscreen MacBook Pro, featuring an OLED display and M5 Pro/Max chips — a landmark redesign for the Mac lineup. »
Britain Bets £100 Million on an AI Lab to Fight Bioterrorism, with OpenAI and Anthropic Onboard
The UK government announced a £100 million AI Biosecurity Lab this week, with OpenAI, Anthropic, and Google DeepMind as partners — the first government-led effort to use frontier AI explicitly for biodefense. »