A browser agent that writes its own MCP server just shipped — and an LLM proved an open math conjecture.
Top Signal
Browser agent reverse-engineers web apps into self-updating MCP servers
new tool
HN Show
A Show HN project demonstrated a browser-based agent that runs inside an authenticated web app, intercepts how the app calls its own internal APIs, and auto-generates a working MCP server from those observations — one that self-updates as the host app changes. No official API required. No hand-written integration. The agent watches the app use itself, then produces a typed tool definition the LLM can call. This matters most for agentic workflows that touch authenticated enterprise SaaS (CRMs, project management, internal dashboards) where public APIs are incomplete or don't exist. The pattern is fundamentally different from scraping or Playwright automation — it captures the app's real API surface, not its rendered DOM. Bookmark this if you've ever manually proxied API calls to build an integration. This is the automated version of that process.
Read more →
Fast Signals
GPT-5.6 Sol Ultra publishes proof of open math conjecture
emerging signal
HN Front Page
OpenAI released a PDF proof of the Cycle Double Cover Conjecture — a decades-old open problem in graph theory — attributed to GPT-5.6 Sol Ultra. If peer review holds, this is the first time a frontier LLM has resolved a genuine unsolved conjecture rather than a benchmark problem. Recalibrate what long-horizon formal reasoning tasks you're willing to delegate to a model.
Link →
barebrowse: pruned ARIA snapshots for token-efficient web agents
new tool
r/LocalLLaMA
barebrowse converts any URL into a semantic ARIA tree with nav, ads, and boilerplate stripped rather than feeding raw HTML to a local agent. The author reports a fraction of the token cost per page with no meaningful loss in task completion. Drop-in replacement for any agent that currently ingests full HTML — especially valuable for long agentic loops running local models with limited context.
Link →
Speculative cache warming saves 10–20s per turn in long-context runs
workflow
r/LocalLLaMA
A technique that pre-fills the KV cache against likely prompt prefixes while the user is still typing, so generation starts from a warm cache. The author demos 10–20 second reductions on workloads with large static system prompts. If you run agentic pipelines with fixed context headers, this is a direct latency improvement with no accuracy tradeoff — and it lives in the inference layer, not the prompt.
Link →
Microsoft Flint: a constrained viz DSL built for reliable agent chart gen
new tool
HN Show
Microsoft open-sourced Flint, a declarative chart specification language designed to be generated reliably by LLMs — narrower surface than Vega-Lite, richer than ad-hoc matplotlib calls. The claim is fewer retry loops and higher output quality because the spec space is constrained. Relevant if you're building dashboards, data reports, or any pipeline where agents produce visualizations.
Link →
GLM-5.2 (744B MoE) now runs on 25GB-RAM consumer machines via Colibri
platform change
HN Front Page, r/LocalLLaMA
The Colibri project shows GLM-5.2 loading and running on a standard consumer machine with 25GB RAM, removing the multi-GPU requirement. This lands the same day Databricks published a benchmark placing GLM-5.2 on par with Claude Opus 4.8 high for coding — at significantly lower cost. A credible path to running a frontier-tier coding agent locally is now within reach of most dev hardware.
Link →
Docx-CLI cuts Word doc agent token cost by 50%
new tool
HN Show
A CLI that exposes .docx files to agents as structured text, bypassing raw OOXML parsing. Author benchmarks show half the tokens and half the round-trip time versus passing docx content directly. If your agents read or edit Office documents, this is a drop-in efficiency gain that requires no prompt changes.
Link →
Radar
awesome-design-md: brand DESIGN.md files as agent UI context
A curated collection of DESIGN.md files from major brand design systems (Stripe, Linear, etc.) meant to be dropped into a project so coding agents auto-generate matching UI. Early, but this encodes a pattern worth tracking — design systems as structured agent context rather than example screenshots or style docs.
Link →
HiLS-Attention-7B: Tencent drops new efficient attention architecture
Tencent released HiLS-Attention-7B on Hugging Face, a 7B model with a hierarchical latent space attention mechanism. Details are thin but Tencent's recent output cadence (HY3 last week) earns a close read — watch for whether the attention approach transfers to larger scales or into serving frameworks.
Link →
Unsloth Qwen3.6 NVFP4 quants: 2.5x throughput on consumer NVIDIA
Unsloth's NVFP4 quantization of Qwen3.6 delivers 2.5x throughput versus standard quants on consumer NVIDIA cards. If Qwen3.6 is already in your local inference stack, this is a direct swap with no reported quality regression — worth rebuilding for any latency-sensitive pipeline.
Link →
Convergence Watch
glm-5.2
TRENDING
6 mentions across HN Front Page, r/LocalLLaMA
GLM-5.2 is now in its fourth consecutive day of multi-source coverage, and today the signal upgraded: from benchmarks to real-world demos (playable 3D game, near-human bookkeeping accuracy, Databricks cost comparison, consumer hardware port). This is the convergence pattern that precedes a community default shift in model choice for coding agents. Worth running your own eval now, before the crowd arrives.
tencent hy3
TRENDING
2 mentions across r/LocalLLaMA, HN Front Page
HY3 continues generating positive real-world field reports — today a 128GB setup confirming the 295B-A21B MoE punches significantly above its active-parameter weight. Three days of consistent community signal with no major negative reports. A strong candidate for long-context local inference workloads where GLM-5.2's MoE overhead is a constraint.
gpt-5.6
3 mentions across Simon Willison, HN Front Page
GPT-5.6 family coverage continues from yesterday's launch. The one genuinely new signal today is the Cycle Double Cover Conjecture proof from Sol Ultra — everything else is downstream reaction to yesterday's announcement. Monitor the math proof for peer review outcome; that result would meaningfully shift the capability ceiling for formal reasoning use cases.