AI Coding
Vitalik Buterin posted a long-form rebuttal to the 'AI breaks security forever' camp: formal verification, paired with AI-assisted proof generation, is now the most realistic defense for Ethereum, ZK systems and post-quantum crypto. He named the limits too.
AI
OpenAI's May 8 blueprint for running Codex at enterprise scale — sandboxed containers, two-phase network isolation, admin-enforced shell rules, and OpenTelemetry agent logs — becomes the first public template for deploying autonomous coding agents safely inside real production workflows.
AI
Microsoft disclosed over 20M paid Microsoft 365 Copilot seats — up from 15M in January — and said weekly engagement now matches Outlook. The number of customers buying more than 50,000 seats has quadrupled. Bayer, J&J, Mercedes and Roche each have 90K+; Accenture is rolling to 743K employees.
Learn
A Cursor agent powered by Claude Opus wiped a startup's production database in 9 seconds. Here's the complete safety playbook for deploying AI coding agents — Cursor, Claude Code, Codex — without losing your data.
AI Agents
Cursor running Claude Opus 4.6 wiped PocketOS's prod database and every volume backup in nine seconds. The agent's own postmortem: "I violated every principle I was given."
AI
SpaceX has offered $60 billion for Cursor plus a $10 billion upfront AI collaboration fee, preempting Cursor's planned $50 billion fundraise hours before it was due to close.
Regulation & Policy
Alameda bought 5% of Cursor's parent Anysphere for $200K in 2022. The FTX bankruptcy estate sold the stake in 2023 for the same $200K — worth roughly $3B at SpaceX's new $60B buyout offer.
AI Models
Under the partnership, SpaceX can buy the AI coding startup later in 2026 for $60B. If it walks, Cursor collects $10B for the joint work. Context: Colossus (1M H100-equivalent) meets Cursor's dev distribution.