News Digest — 2026-08-05

Top Stories

Show HN: A file-based protocol for two AI agents to talk until they agree

Hacker News AI · 2026-08-05

A file-based protocol allows two AI agents to agree on a task by editing the same markdown document until they reach consensus. The protocol works with various agents, including Claude Code, Codex, and Grok, and is based on four rules: one writer at a time, one atomic write per turn, no chat log, and explicit consensus. This approach converges into a final answer, with the agreement written into the document.

An AI Approach to Verified Production Cryptographic Libraries

Hacker News AI · 2026-08-05

Researchers developed CryptoProver, an AI-based system that verifies production cryptographic libraries without changing executable code. CryptoProver synthesized internal specifications and proofs from high-level API contracts for the curve25519-dalek and chacha20 implementations, which underpin deployed systems like Signal and Shadowsocks. This verification process took 11.4 hours and $466.99 in recorded API cost, with the potential to improve the security of widely used cryptographic systems.

Forward-deployed engineers are the AI industry's latest talent obsession

Hacker News AI · 2026-08-05

Forward-deployed engineers are the AI industry's latest talent obsession, with demand projected to surge by 2,100% by the end of the year. Only about 2,000 engineers in the U.S. possess the necessary combination of sector know-how, gravitas, and hands-on applied AI experience, which is expected to outstrip supply. This talent shortage will likely lead to enterprises hiring FDEs in the middle of summer, with the largest consulting and services firms reporting a need to increase their FDE headcount by 10 times.

Hollywood is entering its AI era

Hacker News AI · 2026-08-05

Hollywood is entering its AI era with major film studios investing heavily in artificial intelligence technology to streamline production processes and enhance content creation. This shift is driven by the adoption of AI-powered tools such as script analysis software and automated editing systems, which have been shown to reduce production time by up to 30%. As a result, the film industry can expect to see increased efficiency and improved quality of content, leading to enhanced viewer experiences.

ChatGPT accounts for 80% of identifiable House AI spending

Hacker News AI · 2026-08-05

ChatGPT accounts for 80% of identifiable House AI spending, with $100,580 spent on 798 transactions, mostly for summarizing legislation, drafting memos, and responding to constituents. This is part of a larger trend where lawmakers and federal agencies are deciding how AI should be purchased, used, and regulated. Congressional staff are using AI to save dozens of hours of staff time and manage the flood of information arriving on Capitol Hill.

Technology

Show HN: Rever-browser – AI-agent browser for reverse-engineering

Hacker News AI · 2026-08-05

Rever-browser is an AI-agent browser for reverse-engineering, pairing a real Chromium tab with an ACP-based coding agent. The agent captures network requests, analyzes JavaScript bundles, and drives the tab through an in-process MCP tool server. This enables users to go from understanding site requests to reproducing its API without leaving the app.

SpaceX's AI Splurge Puts a Damper on Debut Earnings After IPO

Hacker News AI · 2026-08-05

SpaceX's AI spending surge led to a 7% drop in shares after the company reported $18.4 billion in capital spending in the second quarter. This significant increase in AI development investment is expected to improve dramatically, according to Elon Musk. The AI spending surge may impact SpaceX's debut earnings after its IPO.

Nono: Sandbox any AI agent in seconds – zero setup, zero latency

Hacker News AI · 2026-08-05

Nono is a sandbox that allows users to run AI agents in seconds with zero setup and zero latency. It supports macOS, Linux, and Windows (WSL2) and enforces a least-privilege sandbox. Users can search for agents in the registry, run them with specific profiles, and even create their own custom profiles.