The Pulse — August 4, 2026

DeepSeek’s official release claims large jumps over its preview on agent/coding benchmarks and ships DSpark speculative decoding in the checkpoint. It also exposes low/high/max reasoning effort and recommends up to 384K output tokens for high/max agentic work.

A detailed production configuration reports the full 156.67 GiB checkpoint in HBM, 168.6 tok/s single-stream decode, and 256K validated context on one MI300X—without weight offload or extra quantization. The interesting story is the engineering: FP8-format compatibility, MoE routing, speculative verification, and KV-cache management.

Cloudflare reports that FP8 KV cache doubles Kimi K2.6 resident context from ~686K to ~1.37M tokens; INT4 weights cut GLM 5.2 from 705GB to 421GB. The key design is disaggregating prefill and decode, keeping the higher-precision configuration where it wins.

Swiftlet streams only the MoE experts needed per token from storage, rather than holding all weights in RAM. It reports a 4-bit 80B Qwen3-Next model at 4.3GB peak RAM (42GB disk) and a 35B model on iPhone at roughly 1 tok/s. Its own README gives the important caveat: only ~3B parameters are active per token, so factual recall resembles a smaller model.

The survey frames agent performance as a systems problem: workflow/evals, permissions, files as persistent memory, explicit subagents, backend jobs, and context engineering. This is a strong upstream framing for why coding agents can feel dramatically different even with similar base models.

The latest release adds a VS Code Focus view that collapses tool noise into per-turn summaries, plus Linux/WSL credential-file masking (with macOS falling back to deny). It also fixes a Bash permission-check bypass involving zsh regex conditionals—an excellent reminder that agent permissions are security architecture, not UI polish.

OpenAI says an internal Astra model found results across sphere packing, coding theory, group theory, cryptography, and combinatorics; the repository supplies Lean 4 formalizations for each. The important distinction: formal verification checks a stated theorem/proof artifact—it does not by itself settle all questions of novelty, interpretation, or the research process.

Community reports describe a 2.4T-parameter Qwen3.8-Max and say open weights are imminent, with a 27B sibling expected. The primary model announcement/weights were not retrievable from Qwen’s main blog during this run, so do not present benchmark or availability claims as confirmed facts yet.