Microsoft locks in $2B/year Anthropic deal for Copilot [Xtra!]Microsoft is hedging its OpenAI bet by paying big for Claude.
HybridAgent blends latent-space reasoning with text-based tool use [Xtra!]A new agent architecture tries to get latent reasoning's efficiency without losing tool-call interpretability.
Microsoft details Azure Maia 300 silicon architecture [Xtra!]Another data point in the custom AI-accelerator race against Nvidia and Google TPUs.
Formal verification at scale meets AI on Ethereum [Xtra!]LLM-assisted formal methods are moving from research toy to production tooling for high-stakes code.
AWS Lambda gets native web-function support [Xtra!]Serverless gets a more direct path for building web apps without framework glue.
Coinbase claims 60x faster matching engine [Xtra!]A concrete, large performance win in latency-critical trading infrastructure.