2026-07-28

9 stories suggest →

Top stories

  1. MCP ships the 2026-07-28 specification with a stateless protocol core The specification removes the initialize handshake and session, allowing MCP servers to route requests to any instance behind a load balancer. confirmed Agentic coding
  2. Claude shared chats and Artifacts turn up in Google and Bing search results Claude share pages are excluded via robots.txt but carry no noindex, allowing search engines to index URLs found through other discovery paths. confirmed Security
  3. Moonshot publishes the Kimi K3 technical report Kimi K3, a 2.8T-parameter model with 104B active parameters, trails both Claude Fable 5 and GPT-5.6 Sol on overall benchmark performance. confirmed Paper
  4. Lean 4 kernel accepted ill-typed nested inductives, allowing an axiom-free proof of False Lean 4 accepted a malformed inductive declaration through the ordinary checked path and proved False without axioms or unsafe tactics. confirmed Languages

ML research

  1. LOCKS gives each KV page its own spectral summary and reports half the decode latency at 1M tokens LOCKS attaches spectral summaries to KV cache pages and reports decode latency at 1M tokens cut to roughly half by reading a resident index. confirmed

Agentic coding

  1. Practitioner run of SlopCodeBench scores Opus 5 at 4 of 17 strict passes A single run of SlopCodeBench found Opus 5 passing 4 of 17 checkpoints, producing roughly 29,000 source lines with 51 percent tests. confirmed

Security

  1. Researcher takes over every account and vehicle fleet on the My Eicher platform One authorization defect in the My Eicher fleet-management platform enabled account takeover and control of registered vehicles platform-wide. confirmed

Languages and runtimes

  1. A walk through Go's new Green Tea collector as it moves across the heap The post measures Go's new Green Tea collector and shows where cache-friendliness improves, though sparse pages still cannot be reclaimed. confirmed

Engineering posts

  1. Inside Zig's incremental compilation A Zig core team member describes how the compiler detects which functions changed and recompiles only those in 50 to 70 milliseconds per rebuild. confirmed