Fresh stories
Huawei pitches τ scaling with LogicFolding and a 1.4nm-equivalent 2031 target
Huawei outlined a τ scaling framework and LogicFolding design that shifts chip progress from node shrinkage toward shorter signal delay. The proposal matters because it targets performance, density, and yield gains without relying only on EUV-era process shrinks.
Researchers and builders ship external memory layers with recipe stores and 33% cheaper updates
A new MeMo paper and several community memory systems converged on keeping knowledge outside the base model through recipe files, semantic and autobiographical stores, and background reconsolidation. The pattern matters because engineers are treating context loss as a systems problem instead of only asking for larger context windows.
Files SDK 1.6 adds transfer() streaming and byte-range downloads
Files SDK 1.6 added cross-provider transfer() streaming and byte-range downloads for partial reads. The release matters because large-file migrations, resumable flows, and media-style UIs no longer need full-file buffering.
Huawei pitches τ scaling with LogicFolding and a 1.4nm-equivalent 2031 target
Huawei outlined a τ scaling framework and LogicFolding design that shifts chip progress from node shrinkage toward shorter signal delay. The proposal matters because it targets performance, density, and yield gains without relying only on EUV-era process shrinks.
Developers ship Chrome MCP, repo-graph search, and token compression for Claude Code and Codex
Independent developers released browser-control MCP tooling, repo-context graphing and packaging utilities, and token-compression helpers for coding agents. The cluster matters because agent workflows are now adding browser control, context packing, and cost controls as external infrastructure instead of waiting on raw model upgrades alone.
Developers compare red-green TDD, Hurl tests, and label-triggered agents for code verification
Practitioners published tests-first coding-agent workflows built around red-green TDD, Hurl suites, GitHub label actions, and Codex-based execution checks. The pattern matters because verification remains the main bottleneck once generation is fast, especially in longer multi-file sessions.
Researchers and builders ship external memory layers with recipe stores and 33% cheaper updates
A new MeMo paper and several community memory systems converged on keeping knowledge outside the base model through recipe files, semantic and autobiographical stores, and background reconsolidation. The pattern matters because engineers are treating context loss as a systems problem instead of only asking for larger context windows.
Developers compare 128GB workstations, M5 Max laptops, and 20/80 local-cloud agent splits
Microsoft benchmarks SkillOpt at +24.8 Codex points by editing skills, not weights
Files SDK 1.6 adds transfer() streaming and byte-range downloads
Google AI Studio reports 250,000 native Android apps in its first week
Top storiesthis week
Codex users share /goal audits, mobile delegation, and Raspberry Pi workflows
Practitioners published reusable Codex workflows for project audits, memory-driven skill packaging, mobile delegation, and remote computer use. Try the prompt-and-steps patterns if you want to adapt Codex across repos and devices.
Google DeepMind reports AlphaProof Nexus solved 9 Erdős problems with Lean verification
A new paper says AlphaProof Nexus resolved 9 of 353 open Erdős problems and 44 OEIS conjectures using Gemini-guided search plus Lean checks. The strongest results came where Lean libraries are already mature, so those libraries remain the bottleneck to watch.
Agent Skills ecosystem ships handoff docs, htmx v4 packs, and Project Think support
Independent builders published reusable skills infrastructure across coding agents, including Project Think preview support, handoff docs, and an htmx v4 skill pack. That matters because skills are starting to work like portable workflow units instead of one-off prompt snippets inside a single tool.
V4-Pro users report 700K-context misses in multi-document retrieval tests
Two practitioner writeups found long-context prompts still missed multi-document questions, so retrieval stayed in the loop while reranking got looser. Keep RAG in place and test top-50 recall into V4-Pro instead of assuming longer context replaces retrieval.
Datasette 1.0a30 adds a slash Jump To menu and plugin hook
Datasette 1.0a30 introduced a slash-triggered Jump To menu plus a hook for plugin-supplied search items. Simon Willison used it in datasette-agent 0.1a4 to start agent chats from the same menu, so plugin authors can wire in their own actions.