The Wire
Curated cybersecurity and tech news — AI-summarized, source attributed.
Mistral's Leanstral 1.5 targets Lean 4 theorem proving with a sparse 119B MoE
Mistral quietly added Leanstral 1.5 to its experimental Labs line on June 30, 2026. Unlike the company's general-purpose chat models, this one is narrowly speci
NY Fed: Labor's Share of US Income Hits Post-War Low, But the Cause Is Familiar
The share of US economic output paid out as wages and salaries has fallen to its lowest point in the post-war era, sitting 1.6 percentage points below where it
SCOTUS Ruling on FTC Independence Guts Legal Basis for EU-US Data Flows
In Trump v. Slaughter, the US Supreme Court's conservative majority endorsed the unitary executive theory, holding that laws shielding agencies like the Federal
Sony deletes purchased StudioCanal films from PlayStation libraries, no refund
Customers who paid to own StudioCanal movies on the PlayStation Store lost them when Sony removed the titles, and no one got their money back. The mechanism sit
The Case for the Ritual Saturday Reboot
A personal essay makes a light argument for a habit that has become largely obsolete: deliberately restarting your computer on a regular schedule. The author re
Tidal Will Label and Demonetize AI Music, Stopping Short of a Ban
Tidal's new AI policy, effective July 15, 2026, takes a middle path on AI-generated music: the service will keep accepting it but will cut off its earning poten
US ambassador has Belgian police eject reporters from Brussels '250' event
Journalists from The European Correspondent were forcibly removed from the privately-funded "Freedom 250" celebration in Brussels' Parc du Cinquantenaire after
Webernetes: a partial Kubernetes port that runs a live cluster in your browser
ngrok's Sam Rose has released webernetes, a partial reimplementation of Kubernetes in TypeScript that runs entirely client-side in a browser. Rather than compil
30-Year Sentence for Hauling Zines Signals New Front in Crackdown on Dissent
A federal court sentenced Daniel "Des" Sanchez Estrada to 30 years in prison for moving a box of anarchist zines he didn't author — part of a batch of eight def
AI Found the Bug Fast — Then Tried to Fix It With Technical Debt
htmx creator Carson Gross walks through a real maintenance session on hyperscript, his JavaScript-based scripting language, to map where Claude genuinely helped
AI Knocks Down the Cost Barrier That Kept Formal Verification Niche
Formal verification—mathematically proving that a program satisfies its specification—has long been confined to safety-critical niches because the proofs were e
Anthropic's Claude Sonnet 5 Closes the Gap on Opus at a Fraction of the Price
Anthropic has released Claude Sonnet 5, positioning it as its most agentic mid-tier model to date. The pitch is that work which recently demanded larger, pricie