August 2, 2026
Today's top tech stories, deduped across the newsletters I read and briefly summarized. Click a source to open the original article.
AI
DeepSeek releases V4-Flash with stronger agentic capabilities
DeepSeek has released V4-Flash-0731, the latest model in its V4 family with "substantially enhanced agentic capabilities." The model has 304 billion parameters and is available as a 167GB download on Hugging Face.
ByteDance launches Seedance 2.5 video generation model
ByteDance has released Seedance 2.5, an updated video generation model featuring flexible referencing and "one-take" creation. The launch drew significant attention on Hacker News.
OpenAI shares ten advances in mathematics and theoretical computer science
OpenAI has published an overview of ten advances in mathematics and theoretical computer science where AI models contributed to new results. It comes just days after Anthropic showed Claude could discover cryptographic weaknesses.
AI financial advice is surprisingly good — if you ask the right questions
A study covered by MIT Sloan finds that AI models can give surprisingly good financial advice, provided the user asks the right questions. The story drew significant traction on Hacker News.
Security
Rails patches critical Active Storage flaw with RCE potential
A critical vulnerability in Rails' Active Storage framework let an unauthenticated attacker read arbitrary files from a Rails application, with potential escalation to remote code execution. The Rails team has shipped a patch, and users should update immediately.
Dev
MCP 2.0 introduces a stateless spec for the Model Context Protocol
The new 2026-07-28 Model Context Protocol specification ("MCP 2.0") introduces a stateless approach that has renewed developer interest in the protocol. Simon Willison built the experimental llm-mcp-client tool in response to the release.
ripgrep musl binaries occasionally segfault during very large searches
Developers have reported that ripgrep binaries built against musl libc can occasionally segfault during very large searches, a bug report that drew significant attention on Hacker News.
Diátaxis: a framework for technical documentation
The Diátaxis documentation framework, which splits technical documentation into tutorials, how-to guides, explanations, and reference material, drew renewed attention on Hacker News.
New edition of 'The Art of 64-bit Assembly'
No Starch Press has released a new edition of "The Art of 64-bit Assembly," which drew significant attention from developers on Hacker News.
Postmortem for Lean kernel soundness bug #14576
Lean creator Leonardo de Moura has published a detailed postmortem on a soundness bug in the Lean theorem prover's kernel, tracked as bug #14576. The analysis drew significant attention on Hacker News.
Web
How Google helped destroy RSS feed adoption (2023)
A resurfaced 2023 article on how Google's decisions — including shutting down Google Reader — helped undermine RSS feed adoption drew renewed attention on Hacker News.
IT
NetBSD 11.0 released
The NetBSD project has shipped version 11.0 of the operating system, with updated hardware support and kernel improvements. The release drew a strong response on Hacker News.