July 4, 2026
Today's top tech stories, deduped across the newsletters I read and briefly summarized. Click a source to open the original article.
AI
$85,000 in tokens later: What Lovable learned scaling agentic coding
Lovable shares lessons from scaling agentic coding internally after burning through $85,000 in tokens, covering cost management, pipelines, and running AI coding agents at scale.
GLM5.2 hits 2,626 tok/s per node on AMD MI355X at over 2x lower cost than Blackwell
Wafer AI shows the GLM5.2 model reaching 2,626 tokens per second per node on AMD's MI355X chips at less than half the cost of NVIDIA's Blackwell, strengthening AMD's case as a serious alternative for large-scale AI inference.
Mistral launches Leanstral 1.5: proof abundance for all
Mistral AI has released Leanstral 1.5, a model focused on formal mathematical proofs, aiming to make advanced proof generation accessible to a wider audience.
Guide: How to run state-of-the-art LLMs locally
Developer jamesob published a comprehensive guide to setting up and running state-of-the-art language models locally, with practical hardware and tooling advice.
Open Source AI Gap Map charts the gaps in open AI
Current AI, a global non-profit coalition building a "public option" for AI, has launched a map identifying where open-source AI still lags behind proprietary offerings.
Simon Willison on Fable's judgement and a tip from the Claude Code team
Simon Willison shares a tip from the Claude Code team about letting the AI agent Fable judge its own work, drawn from a fireside chat with Cat Wu and Thariq Shihipar at the AI Engineer conference.
Security
European Parliament committee member investigating spyware hacked with Pegasus
Citizen Lab reveals that a member of the committee investigating spyware abuse in the European Parliament was themselves hacked with NSO Group's Pegasus spyware, underscoring the persistent threat commercial surveillance tools pose to European officials.
NetNut proxy network disrupted, 2 million infected devices cut off
A joint operation involving Google has disrupted NetNut, a residential proxy network that gave access to millions of compromised Android devices, including smart TVs and streaming boxes.
ARToken PhaaS exposes EvilTokens' Microsoft 365 phishing toolkit
A new phishing-as-a-service platform called ARToken appears to operate as an affiliate of the EvilTokens platform, giving researchers insight into an extensive toolkit designed to compromise Microsoft 365 accounts.
Dev
Hunting a 16-year-old SQLite WAL bug with TLA+
The Canonical/Ubuntu team describes using the formal specification method TLA+ to track down a 16-year-old bug in SQLite's write-ahead log, and assesses whether dqlite is affected by the same issue.
Web
SearXNG: a free, open-source internet metasearch engine
SearXNG, a privacy-friendly metasearch engine that aggregates results from multiple sources without tracking users, is getting renewed attention as a self-hosted alternative to commercial search engines.
Wordgard: an in-browser rich-text editor from the creator of ProseMirror
The creator of ProseMirror has launched Wordgard, a rich-text editor that runs directly in the browser, giving developers a new tool for web-based text editing.