▸ Terence Tao published a post accusing OpenAI of a 'severe misalignment' between claimed AI math ability and what the models actually do unaided.
▸ PlanetScale is building Neki, a horizontal sharding layer for Postgres modeled on the Vitess architecture that turned MySQL into YouTube-scale infrast...
▸ A Brown University Costs of War paper argues Big Tech and VC-backed startups have already displaced Lockheed-era primes as the strategic core of US de...
▸ Cognition released SWE-2, a coding-specific model positioned against Fable 5.1 and GPT-Astra rather than general-purpose frontier LLMs.
▸ consumerrights.wiki is cataloging every place Sony has told buyers they 'own' or 'buy' PS digital games — the kind of language that becomes exhibits l...
▸ OpenAI shipped a first-party Agents API that folds tool loops, state, and multi-agent handoffs into a single server-side runtime.
▸ Microsoft's internal engineering system now treats Rust as a Tier-1 language — same infrastructure, security, and support tooling as C++, C#, and Type...
▸ OpenAI posted a claimed solution to the Navier-Stokes Millennium Prize Problem, produced by an internal model, showing finite-time singularity formati...
▸ Nvidia is in advanced talks to buy Hugging Face for over $13B — nearly 2x the valuation HF turned down from Nvidia nine months ago at $7B.
▸ Automattic's board placed CEO Matt Mullenweg on leave, ending a year of escalating self-inflicted damage from the WP Engine feud.
▸ Shopify, arguably React Native's loudest enterprise advocate since 2020, is rewriting core surfaces of its merchant app in native Swift and Kotlin.
▸ OpenAI's latest Navier-Stokes result shipped with a machine-checked Lean 4 proof, not just a paper and benchmarks.
▸ Weird Gloop — the org behind the RuneScape and Old School RuneScape wikis — says Google traffic collapsed after a ranking change that appears to demot...
▸ Nikita Prokopov's 'Every Frame Perfect' hit 378 on HN by reframing UI smoothness from a nice-to-have into a correctness property.
▸ DeepSeek quietly open-sourced deepseek-harness, an MIT-licensed agent runtime where every capability — tools, subagents, UI, context injections — is a...
▸ Mathematician Andreas Thom says GPT-5 reproduced an unpublished proof he'd shared only through a private OpenAI-adjacent evaluation channel.
▸ OpenAI shipped GPT-6 Astra, live on OpenRouter with a 'max' tier that runs long and burns tokens — Simon Willison clocked one pelican SVG at 4m 2s and...
▸ Terence Tao argues open math problems are a finite, non-renewable resource that AI systems are consuming faster than mathematicians can generate repla...
▸ Nvidia is acquiring Hugging Face, folding the de facto open-model registry into the company that sells the GPUs those models run on.
▸ openclaw — a cross-platform 'personal AI assistant' — is sitting at 283.1k stars, second only to freeCodeCamp on GitHub trending.