UK ministers rejected a NATS reimbursement plan before around 2,000 flights were cancelled, prompting an independent review and airline calls for the boss to resign. Bending Spoons agreed to buy Miro in an all-cash deal valuing the collaboration platform at $1.36bn. Ant International, Visa and Mastercard are drafting AI-agent payment standards, as McKinsey projects $3T–$5T in agent-handled commerce by 2030.
Apple will debut a ~$2,000 foldable iPhone Duo Wednesday, seeking to revive its innovator image. Google announced €13B+ in Finnish data centers, its largest European AI investment. Legal AI startup Harvey raised $550M at a $15.6B valuation. Anthropic refused UK AISI pre-release testing for Mythos 5.1, worrying Britain about US protectionism. Lyft launched Waymo robotaxis in Nashville, and a Singaporean pleaded guilty to $245M crypto laundering.
OpenAI released ChatGPT Images 2.5, and denied claims it rushed an unreleased Navier-Stokes proof after seeing another researcher’s work. AI coding startup Cognition raised $2B at a $48B valuation, with about $900M annualized revenue. The US backed NextEra’s $1.9B loan to restart an Iowa nuclear plant for Google’s AI data centers. The UK announced plans to require Apple and Google to stop kids accessing nude images.
bzip3, a BZip2 successor, claims higher compression ratios on text and code than xz or Zstandard. More than half of 2,300 Rust developers surveyed skip debuggers, favoring print and dbg! macros. A MariaDB/InnoDB prototype with B-link-style concurrent page splits raised insert throughput 5.23x in split-heavy tests. Linux kernel engineers got a detailed guide to jump labels and x86 runtime patching.
Nitter, the privacy-focused Twitter/X alternative, said it will keep operating after receiving cease-and-desist letters from X Corp. NetBSD released 9.5 as the final 9-branch update, ending support for all NetBSD-9.x and urging users to upgrade to 10.2 or 11.0. Elsewhere, a modder got Windows CE running on a Nintendo 64, and Trynix now lets you run over 310,000 historical Nix packages in a browser via WebAssembly.
A federal lawsuit says Waukesha County deputies used Flock cameras over 100 times to track a Navy veteran who recorded a traffic stop. New reporting reveals 3M concealed PFAS in Americans’ blood for decades; a UCSF researcher tied tobacco giants’ food brands to today’s ultra-processed diets. OpenLake beat NVIDIA AIStore in MLPerf storage with 6.72 GiB/s writes and 11.55 GiB/s reads.
Claude spent 11 days producing the first computer-checked proof of Fermat’s Last Theorem, formalizing 29,500 theorems in Lean. OpenAI and Anthropic suffered outages without explaining causes. GitHub’s HydraFusion orchestrates models to match Claude Opus 5 at up to 67% lower cost. An adult studio linked a Meta Reality Labs exec to pirating nearly 20,000 files. Allison Guerriero, who exposed an FBI official’s Russia ties, was found dead.
Nvidia agreed to acquire Hugging Face for $12.9 billion, pledging to keep the AI platform open. Audacity 4.0 launched with a Qt-based interface and new project format. NASA picked Dragonfly’s landing area on Saturn’s moon Titan for its 2028 mission. Salesforce said its heavy reliance on Anthropic’s Claude dented profit margins. Cybercrooks also stole password hashes from the Fishbrain social network, and Haiku OS released its sixth beta.
Security researchers listed 10 Downing Street on Booking.com, exposing flaws and taking real bookings. Milo Yiannopoulos said ICE detention left him ’terrified’ and regretting support for Trump. NATO fears France’s next president could undermine the alliance as hardline support grows. Chemogenetics reached early human trials in China for pain and Parkinson’s. AI coding harness evaluations showed costs varying 17x.
Anthropic launched Claude Fable 5.1 and Mythos 5.1, lowering costs by up to 45% for agentic workloads, and unveiled Enterprise Frontier Safeguards after customer complaints. WhatsApp remittance startup Félix raised $200M, becoming a unicorn. Google introduced Google Pics, its AI design suite for Workspace. Aslan secured $20.8M to supply AI agents for intelligence operations.
