The Wire
Curated cybersecurity and tech news — AI-summarized, source attributed.
DOJ Charges Atlanta Man Over GrapheneOS Phone Wipe in First-of-Its-Kind Case
Federal prosecutors in Atlanta have charged Sam Tunick under a statute that criminalizes destroying property to prevent its seizure, after his phone wiped itsel
Fed up with resetting bedside clocks, one tinkerer 3D-printed his own
An Ars Technica writer's decades-long reliance on cheap red seven-segment LED clock-radios hit a breaking point after a power flicker forced yet another round o
FFmpeg scripts recreate the sound of vintage cassette tapes
A bash-and-FFmpeg toolkit runs audio through processing chains that mimic specific cassette tapes, layering in tape hiss, wow-and-flutter pitch modulation, band
Fly.io Bets the Company on Sprites, Cloud Computers Built for AI Agents
Fly.io founder Kurt Mackey uses this post to reset the company's direction after a public jolt: developer influencer Theo Browne, while praising the platform, n
French firefighters face 'pyrocumulonimbus' for first time
No article body was supplied to summarize — the source payload contained only the headline, so a faithful summary cannot be written without fabricating details.
Google's Filing Pegs Its SpaceX Stake at $94.1B — a Figure Worth Scrutiny
A disclosure attributed to Google reportedly values its holdings in Elon Musk's SpaceX at $94.1 billion, described as roughly a 6% stake. Beyond that single lin
Handing the Details to AI Isn't Empowerment — It's Abdication
This essay argues that much of the excitement around AI rests on a fantasy: the wish to bring things into being without ever grappling with their details. The a
Inside China's Relay Market: How Stolen AI Tokens Get Resold at 95% Off
A sprawling gray market has grown up around reselling access to U.S. AI models like Anthropic's, OpenAI's, and Google's, mostly serving Chinese developers hunti
LLMs as Proof Automation: Building a Zstandard Decompressor in Lean
Dependently-typed languages like Lean and Rocq (formerly Coq) can encode arbitrarily subtle invariants directly into the type system and have a machine check th
Microsoft debuts MAI-Cyber-1-Flash, a low-cost model for hunting code vulnerabilities
Microsoft AI has unveiled MAI-Cyber-1-Flash, a compact, code-focused security model derived from its in-house MAI-Thinking-1 lineage, deployed inside MDASH — a
Moonshot AI Teases Kimi-K3, Billed as First Open 3T-Parameter Frontier Model
Moonshot AI has put up a countdown page on Hugging Face for Kimi-K3, its next open-weights model, timed to go live July 27, 2026. As of the snapshot, the weight
PGSimCity turns PostgreSQL internals into an interactive 3D city
PGSimCity is an educational project that renders the PostgreSQL engine as an explorable 3D 'city,' aiming to make the database's internal machinery visible and