Vercel blog
Top stories
Hacker News – Front Page (hnrss.org)
OpenAI's Navier-Stokes proof shipped with a Lean 4 formalization verified in 17 hours
dev.to (home feed)
OpenAI announces ChatGPT for Financial Services for research, modeling and client work
TechCrunch
Anthropic report details 200 million exchanges in Chinese labs' Claude distillation campaigns
Hacker News – Front Page (native)
OpenAI's Agents API exposes the Codex harness, with Vercel sandbox integration
dev.to (home feed)
Judge rejects DOJ push to force Google to sell AdX, sending ad-tech case toward behavioral remedies
dev.to (home feed)
Shopify moves mobile apps back to native Swift and Kotlin as AI agents cut rewrite costs
Hacker News – Front Page (hnrss.org)
OpenAI's Navier-Stokes proof shipped with a Lean 4 formalization verified in 17 hours
dev.to (home feed)
OpenAI announces ChatGPT for Financial Services for research, modeling and client work
TechCrunch
Anthropic report details 200 million exchanges in Chinese labs' Claude distillation campaigns
Dev Tools
AI
Hacker News – Front Page (hnrss.org)
OpenAI's Navier-Stokes proof shipped with a Lean 4 formalization verified in 17 hours
Web
Software