#编码

10 today

Jun 10Wednesday

AI HOT (Curated Pool)Jun 10, 01:04

Claude Fable 5 and Claude Mythos 5

Anthropic launched Claude Fable 5 and Claude Mythos 5 at $10 per million input tokens and $50 per million output tokens. Fable 5 leads FrontierCode among frontier models, while Mythos 5 reports about 10x acceleration in drug design and about 80% scientist preference in blinded molecular biology hypothesis tests.

Why it matters: HKR-H/K/R all pass: this is an official Anthropic dual-model release with pricing, coding benchmark, and drug-design speed claims. As a major Claude model update plus Anthropic substantive-update bump, it sits in the 85–94 band.

Take

Anthropic tied the capability launch to access control this time. Fable 5 goes to general users, while Mythos 5 starts inside Project Glasswing and trusted access. The hard detail is not the benchmark table. It is one base model with two gates: Fable 5 routes some cybersecurity queries down to Claude Opus 4.8, with triggers averaging under 5% of sessions.

The $10/M input and $50/M output pricing is less than half of Claude Mythos Preview, so Anthropic is preparing for real usage, not a museum-grade frontier demo. Stripe’s 50-million-line Ruby migration claim is wild: one day versus more than two months for a team by hand. I still treat that as customer PR until independent runs show the same pattern. Mythos 5’s security power arrives through a US government channel first; access policy, not API price, sets the adoption curve.

AI HOT (Curated Pool)Jun 10, 01:02

Cohere’s First Coding Model North Mini Code Is Free and Open Source

Cohere released its first coding model, North Mini Code, on OpenCode for free, with a 256K context window and full open-source availability.

Why it matters: HKR-H/K/R all pass: Cohere’s first code model has a 256K context and free open-source access in OpenCode. Missing benchmarks, model size, and license detail keep it at the low end of the 78–84 band.

Hacker News front pageJun 10, 00:58

System Card: Claude Fable 5 and Claude Mythos 5

Anthropic published a 319-page system card for Claude Fable 5 and Claude Mythos 5, stating that Fable 5 is for general use with biology and cybersecurity safeguards, while Mythos 5 lifts relevant safeguards and is limited to trusted partners starting with Project Glasswing.

Why it matters: HKR-H/K/R all pass: Anthropic documents two Claude 5 configurations, calls Mythos 5 its most capable model, and gives safety-gating details. This is a same-day Claude substantive update, placed in the 85–94 band.

Take

Anthropic turned this release into a two-lane product: Claude Fable 5 for general users, and Claude Mythos 5 with relevant bio and cyber safeguards lifted for trusted partners starting with Project Glasswing. That is a clean admission that frontier capability no longer ships safely through one uniform API surface.

The hard detail in the 319-page card is not “most capable model.” It is that Mythos 5 scores far ahead of Claude Opus 4.8 on cyber tasks, is treated at CB-1 but near the CB-2 line, and can significantly uplift well-resourced threat actors. METR’s read that AI R&D ability remains below Anthropic engineers keeps the runaway-agent story contained. The product move still says the quiet part loudly: access tiering is now part of model safety, not an enterprise packaging trick.

AI HOT (Curated Pool)Jun 10, 00:00

GitHub Copilot CLI Adds Custom AI Agents to Turn One-Off Terminal Prompts into Workflows

GitHub Copilot CLI added custom AI agents that understand a developer’s tech stack and team workflows; the post does not disclose configuration details, rollout scope, or pricing.

Why it matters: Official GitHub product update with HKR-H/R: custom Copilot CLI agents matter for developer workflows. HKR-K is weak because setup, rollout, and pricing are missing, so it sits at the featured threshold.

Take

GitHub is aiming Copilot CLI at reusable workflows, and that is the right fight. One-off terminal prompts are too brittle for serious engineering work. A custom agent that knows a stack and team process can matter in CI fixes, migrations, incident triage, and repo hygiene.

The problem is the post withholds the parts practitioners need: configuration, permission boundaries, rollout scope, and pricing. Those four details decide whether this is a usable agent surface or another demo wrapper. Claude Code, Cursor agents, and OpenAI’s Codex CLI are already chasing the same developer loop. GitHub has the better distribution because repos, PRs, Actions, and org permissions already live there. Without a reproducible setup path, this reads as Copilot CLI staking territory before the product proof lands.

Jun 9Tuesday

AI HOT (Curated Pool)Jun 9, 23:56

Cohere Releases North Mini Code, an Open Coding Model for Developers

Cohere released North Mini Code, a 30B-parameter MoE coding model with 3B active parameters, under Apache 2.0; it supports 64K/128K context lengths and reaches 80.2% pass@10 on SWE-Bench Verified.

Why it matters: HKR-H comes from a compact MoE code model with a strong SWE-Bench claim; HKR-K has params, license, context, and benchmark. Cohere is notable but not a frontier-lab launch, so this fits the 78–84 open-source code-model band.

AI HOT (Curated Pool)Jun 9, 17:27

Qwen3.7-Max Delivers Mobile and Web Apps from Scratch Using One Document

Qwen3.7-Max delivered mobile and web applications from a roughly 150,000-character product research document without design files or backend code; each client took about 4 hours, used staged constraint injection and error feedback, and the web app passed typecheck, build, and 34 reachable routes.

Why it matters: HKR-H/K/R all pass: the coding-agent claim is clickable, quantified, and emotionally relevant to developers. The summary lacks eval setup, failure rate, and human-intervention detail, so it stays in the 78–84 band.

Hacker News front pageJun 9, 15:33

Microsoft's Open Source Tools Were Hacked to Steal AI Developers' Passwords

The title says Microsoft's open source tools were hacked to steal passwords from AI developers; the RSS snippet does not disclose the affected tools, attack mechanism, timeline, or victim count.

Why it matters: TechCrunch plus HN front-page placement supports source weight, and the title hits HKR-H and HKR-R. HKR-K fails because tools, mechanism, and victim scale are missing, so the score stays at the featured floor.

Latent SpaceJun 9, 14:12

Cognition launches FrontierCode: a coding benchmark that asks 'would you actually merge this?'

Cognition built FrontierCode, a benchmark that scores code on mergeability and maintainability, not just passing unit tests. Tasks were designed with open-source maintainers, each taking 40+ hours, and evaluated on regression safety, cleanliness, scope, test correctness, and maintainability. The best model, Opus 4.8, hits only about 13% on the hardest tier—far below the 50%+ common on SWE-Bench-style evals. The post also notes METR found many SWE-bench-passing PRs wouldn't actually be merged, and FrontierCode directly measures that false-positive problem.

Why it matters: Cognition's FrontierCode shifts code eval from 'passes tests' to 'mergeable,' with 40+ hour task design and scoring on maintainability. Opus 4.8 leads the hardest tier. A real addition to the benchmark landscape, but too new for community replication — 78 feels right.

Take

This one's worth opening because it pokes a hole in how we've been measuring code ability. METR already found that many SWE-bench-passing PRs wouldn't actually get merged. Cognition took that insight and built a benchmark with open-source maintainers — each task took 40+ hours to design, and scoring covers regression safety, code cleanliness, scope, and test correctness. The result: Opus 4.8 scores about 13% on the hardest tier, way below the 50%+ you see on SWE-bench-style evals.

Don't read this as 'models got worse at code.' The cleaner take: old benchmarks treated 'it runs' as 'it ships,' and FrontierCode adds the maintainability half of the picture. We've only got the Latent Space summary so far — the full report and test set aren't public yet. I'd discount a bit until we see the actual tasks and rubrics.

AI HOT (Curated Pool)Jun 9, 13:53

AI coding unicorn Cursor picks London for European HQ; SpaceX holds $60B acquisition option

Cursor set its European headquarters in London and plans to hire about 200 people; SpaceX holds an option to acquire Cursor for $60 billion or pay $10 billion for a new partnership.

Why it matters: HKR-H/K/R all pass: Cursor is a core AI coding player, and the $60B option plus 200-person London expansion lifts this above routine office news. Thin sourcing and no disclosed trigger terms keep it below the 78 band.

Take

Cursor is being priced far beyond normal SaaS math if the $60B SpaceX option is real. The hard facts line up: about $2.6B in B2B ARR, 70–80 EMEA staff growing toward 200 by year-end, and regulated customers asking for European data residency. That reads like control-plane value over enterprise code, compliance data, and model routing.

I’m skeptical of the SpaceX framing. The article says SpaceX can buy Cursor for $60B or pay $10B for a new partnership, but Elmas declined to comment and the option terms are not disclosed. Cursor’s pitch is model neutrality: customers choose among AI systems. If a giant vertical buyer gets special gravity here, procurement teams will test that neutrality fast. GitHub Copilot has Microsoft distribution behind it; Cursor’s harder job is staying unbundled long enough to keep that premium.

AI HOT (Curated Pool)Jun 9, 11:31

Xiaomi MiMo and TileRT Release UltraSpeed Mode, 1T Model Exceeds 1,000 Tokens/s

Xiaomi MiMo and TileRT released MiMo-V2.5-Pro-UltraSpeed, a 1T-parameter model mode exceeding 1,000 tokens/s, with API access open from June 9 to June 23, 2026, at 3× the MiMo-V2.5-Pro price and about 10× the speed.

Why it matters: HKR-H/K/R all pass, with a domestic flagship-model bump for Xiaomi. Missing hardware, batch, concurrency, and test conditions keep it in the 78-84 band rather than p1.

AI HOT (Curated Pool)Jun 9, 08:44

FrontierCode benchmark sets a new AI coding evaluation bar, with top maintainer approval at 13.4%

Cognition released FrontierCode, a coding benchmark built from 150 tasks by more than 20 open-source maintainers and judged against over 3,000 rules, with Claude Opus 4.8 reaching 13.4% approval in the hardest tier and GPT-5.5 reaching 6.3%.

Why it matters: HKR-H/K/R all pass: FrontierCode has a strong 13.4% hook, concrete maintainer-built methodology, and clear coding-agent resonance. Single-source benchmark news keeps it in the 78–84 band, not must-write territory.

AI HOT (Curated Pool)Jun 9, 08:00

Migrating GitHub CI to Hugging Face Jobs

Hugging Face describes using huggingface/jobs-actions to run GitHub Actions CI as HF Jobs, where the Trackio project cut CPU job time by about 30% and added a GPU test suite using CPU, t4-small, or h200 hardware.

Why it matters: HKR-H/K/R pass via a concrete CI-to-HF Jobs workflow, ~30% speedup, and GPU-test pain point. Scope is ML tooling, not a major platform release, so it sits at the featured threshold.

AI HOT (Curated Pool)Jun 9, 06:24

Claude Supports Apple Foundation Models Framework With New Swift Package

Anthropic released a Swift package that lets Apple developers call Claude inside the Foundation Models framework with three lines of code, returning typed Swift values and handing off multi-step reasoning, code generation, web search, and data analysis on iOS 27, macOS 27, and related platforms.

Why it matters: HKR-H/K/R all pass: Anthropic is shipping a concrete Claude Swift package for Apple Foundation Models, but this is a developer integration rather than a model release, so it sits high in the 78–84 featured band.

Take

Anthropic is making the right platform bet here: Claude is not chasing another chat surface, it is entering Apple’s developer framework. The concrete hook is unusually clean: a Swift package, three lines of code, typed Swift values, and support for multi-step reasoning, code generation, web search, and data analysis across iOS 27 and macOS 27. For an Apple developer, that feels closer to native plumbing than a separate REST client.

I don’t buy the implied jump from “easy to call” to “developers will default to Claude.” The article gives no pricing, latency, model-selection rules, or cloud-versus-on-device handoff behavior. It also does not say where Claude ranks against Apple’s own Foundation Models inside the framework. Anthropic gains distribution surface here, not default status.

The Verge · AIJun 9, 06:14

Apple is using AI to fix Safari’s extension problem

Apple demonstrated Safari using Apple Intelligence to generate an extension from a text prompt, with a Recipe Keeper example for saving recipes and notes; the RSS snippet does not disclose release timing, required OS versions, or developer restrictions.

Why it matters: HKR-H/K/R pass, but the post gives only a demo and the Recipe Keeper example; launch timing, OS version, and developer limits are not disclosed. This fits a mid-weight product update at 73, below the 78 band.

Take

Apple’s move is practical: use Apple Intelligence to patch Safari’s extension gap instead of chasing OpenAI in chat. The concrete demo matters: a user asks to “save and track cooking recipes,” and Safari generates a Recipe Keeper extension with a toolbar button, saved recipes, and notes. Safari has trailed Chrome for years partly because its extension library is thin, and Apple’s development requirements raise the floor for casual builders.

I read this as Apple’s low-code extension store test, but the missing constraints are the story. Timing, OS version, sandbox rules, and sharing limits are not disclosed. Chrome’s extension problem was never just writing JavaScript; it was permissions, updates, malicious add-ons, and review. If Apple keeps this local-only, it becomes personal automation. If Apple lets users distribute these, Safari inherits a security and moderation bill fast.

AI HOT (Curated Pool)Jun 9, 05:25

OpenAI plans AI-led research by 2028

Sam Altman said OpenAI plans to have AI perform a large share of its research by March 2028, and the post lists three goals: building automated AI researchers, using them for science and production, and giving each person a personal AGI.

Why it matters: HKR-H/K/R all pass: dated OpenAI AGI-research roadmap with March 2028 and three goals. It stays below P1 because the item is an X repost/summary, not a primary launch or detailed Sam Altman essay with mechanisms.

r/LocalLLaMAJun 9, 00:11

Levi: Run AlphaEvolve on Your Local Qwen 30B

LEVI runs an AlphaEvolve-like search system with Qwen3-30B-A3B and reports tests on ADRS, IFBench, and HotpotQA, claiming up to 35x lower cost overall and up to 12x fewer evals under the same single-model, same-budget comparison.

Why it matters: HKR-H/K/R all pass, but this is a single Reddit post with model, benchmarks, and cost ratios only; code maturity and reproducibility details are not disclosed. Scores as a strong open-source agent/inference item, not a major release.

Jun 8Monday

AI HOT (Curated Pool)Jun 8, 23:06

Hivemind launches continuous learning for AI coding agents

Hivemind released continuous learning for AI coding agents, collecting trajectories from Claude Code, Codex, Cursor, Hermes, and Pi, converting them into reusable skills stored in users’ cloud storage, with SkillOpt matching or leading all 52 test settings.

Why it matters: HKR-H/K/R all pass, but this is a mid-weight Hivemind feature launch without major-lab weight or cross-source lift. The 52-setting result gives it enough substance for low featured.

r/LocalLLaMAJun 8, 19:59

DFlash Speculative Decoding and KV Cache Compression on RTX 5090 Show 3.26x Speedup

The author tested Qwen3.6-27B on an RTX 5090 with DFlash plus KV cache compression, reaching up to 3.26x speedup; q4_0/turbo4 delivered 3.18x speedup with only +0.02% PPL on WikiText-2.

Why it matters: HKR-H/K/R all pass: RTX 5090 testing, DFlash speculative decoding, KV cache compression, 3.26x speedup, and PPL delta are concrete. Single Reddit source keeps it near the featured floor.

r/LocalLLaMAJun 8, 16:26

Weird to get near-linear scaling by adding another GPU?

A Reddit user benchmarked qwen3.6-27b-autoround-int4 on 1x3090 versus 2x3090. Narrative decode rose from 53 TPS to 94 TPS, and code decode rose from 62 TPS to 120 TPS, under no NVLink, 8x/8x PCIe, P2P automatically enabled, tensor parallelism set to 2, and different KV-cache settings.

Why it matters: HKR-H/K/R all pass: the result is counterintuitive, includes concrete TPS and TP conditions, and speaks to local-inference cost. Single Reddit test lacks multi-model replication and full setup details, so it stays near the featured threshold.

AI HOT (Curated Pool)Jun 8, 02:14

ChatGPT Is Set to Become AgentGPT

OpenAI is preparing ChatGPT’s largest redesign since its 2022 launch, shifting it toward an agent platform that integrates Codex, image generation, Canva, and Booking, with web and mobile rollout planned in the coming weeks. ChatGPT has 900 million weekly active users, 50 million paid users, and $2 billion in monthly revenue, but the post says it remains unprofitable.

Why it matters: HKR-H/K/R all pass, but this is a single X post and the body lacks official timing, access scope, and pricing. It sits at the top of 78–84 rather than P1 because the revamp is not yet shipped.

Jun 7Sunday

r/LocalLLaMAJun 7, 23:13

Qwen3.6 35B-A3B on a Laptop: My Zero-to-One Moment

A Reddit user ran Qwen3.6 35B-A3B on an ASUS Zenbook Pro 14 with RTX 4060 8GB VRAM and 64GB RAM, reaching about 27 TPS at 32k context and 18 TPS at 256k context. The setup uses llama.cpp, unsloth’s IQ3_XXS GGUF quantization, and a 262144-token context flag.

Why it matters: HKR-H/K/R all pass, but this is a single Reddit experiment, not an official release or paper. Concrete hardware, quantization, context, and TPS clear the featured bar, but keep it in the 72–77 band.

AI HOT (Curated Pool)Jun 7, 18:48

A Hokkaido Broccoli Farmer’s 8 Real AI Uses with ChatGPT and Codex

Hokkaido farmer Hiroki Tomiyasu uses ChatGPT and Codex for 8 farm tasks, including broccoli disease recognition, NDVI monitoring, ESP32 greenhouse control, LINE chatbots, sowing-count tracking, RTK-GPS steering study, and an Airtable farm database.

Why it matters: HKR-H/K/R all pass: the hook is unusual, the post names 8 farm workflows, and Codex moving into physical operations will travel among practitioners. Single-X sourcing and missing outcome metrics keep it near the featured floor.

Xinzhiyuan · WeChatJun 7, 12:13

Anthropic co-founder says Claude now writes 80% of merged code

Jack Clark said Claude now produces 80% of Anthropic’s merged code and projected the share may reach 100% within two years; the article also says Anthropic engineers merged 8 times more code per person per day in Q2 2026 than in 2024.

Why it matters: HKR-H/K/R all pass: Jack Clark’s Anthropic coding numbers give a strong hook, concrete facts, and clear labor-productivity resonance. This is not a model launch or major product update, so it stays in the 78–84 band.

Synced · WeChatJun 7, 11:30

ICML 2026 | FusionRoute: From Expert Routing to Self-Correction in Multi-LLM Collaboration

FusionRoute proposes a token-level multi-LLM collaboration method that freezes expert models and trains a lightweight router to select an expert for each token while merging router logits with expert logits. The paper evaluates it on GSM8K, MATH-500, HumanEval, MBPP, IfEval, and 500 PerfectBlend prompts.

Why it matters: HKR-H/K/R pass: token-level LLM routing is a strong research hook with concrete mechanics. The article lacks lift numbers, code link, and deployment cost, so it stays at the lower featured band.

r/LocalLLaMAJun 7, 00:36

Cohere's Unreleased Coding Model Gets Early Access for LocalLLaMA

Cohere employee Nick Frosst opened early testing of BLS-Mini-Code-1.0 to LocalLLaMA, with weights on Hugging Face before public launch. The coding model has 30B total parameters and 3B active parameters, and Cohere says token output tests are in line with similar models in its size class.

Why it matters: HKR-H/K/R all pass: early-access Cohere coding weights with 30B/3B specifics matter to local-model users. Reddit sourcing and missing evals, license, and training details keep it in the low featured band.

Take

Cohere is treating LocalLLaMA like a pre-launch test bench here, not just a distribution channel. BLS-Mini-Code-1.0 is listed as 30B total parameters with 3B active parameters, and the weights are already on Hugging Face. The Reddit body is blocked by 403, so benchmark details, license, context window, and training-data claims are not visible.

The 3B-active design tells you the target: cheap local coding workflows, not a direct fight with Claude Sonnet 4.5 or GPT-5-class coding. Cohere has been squeezed in developer mindshare by Qwen, DeepSeek, and Gemma-style releases; going through LocalLLaMA is a credibility play with the people who actually run quantized models. The weak line is “in line with similar models in its size class.” Without reproducible evals, that is basically launch fog.

Jun 6Saturday

AI HOT (Curated Pool)Jun 6, 21:07

GitHub open-sources Spec Kit to guide AI coding with product specifications

GitHub released the open-source Spec Kit, shifting AI coding from direct implementation to product specifications, gap clarification, technical planning, task breakdown, and agent execution, with support for 30+ agent integrations including Copilot, Claude Code, Codex, Gemini, Cursor, and Qwen, and 109K+ GitHub stars.

Why it matters: HKR-H/K/R all pass: GitHub’s Spec Kit gives a concrete spec-first agent workflow plus 30+ integrations and 109K+ stars. It is a strong tooling story, not a model- or platform-level launch.

r/LocalLLaMAJun 6, 19:49

The Gap Between Claude and Local: Can a Self-Hosted Coding Agent Compete?

The author compared five coding-agent setups on a Laravel 12 + Livewire Playwright E2E task; Claude Opus 4.7 with 1M context produced 203 tests, while the strongest local OpenCode arm on a 24GB RTX 4090 produced 140 tests, compacted context four times, and needed seven manual nudges.

Why it matters: HKR-H/K/R all pass: a first-person Claude-vs-local coding-agent test with concrete counts. It stays below P1 because it is a single Reddit experiment, not a standardized benchmark or major release.

Xinzhiyuan · WeChatJun 6, 13:46

$280 per task: 1,000 engineers teach Claude to write better code

Anthropic is using Snorkel’s Marlin project to recruit about 1,000 software engineers who review Claude Code outputs for $280 per task, with a workflow covering GitHub repository pull requests, A/B comparisons of two generated code versions, and scoring for correctness, security, reliability, and maintainability.

Why it matters: HKR-H/K/R all pass: price, scale, and review mechanics are concrete, and the Claude Code labor angle lands with AI coders. It fits featured, but not p1, since this is not a new model or capability launch.

Synced · WeChatJun 6, 12:00

DeepSeek V4 Proves Math with 500x Cost Advantage as Agent System Sets Records

Princeton researchers released Goedel-Architect, an agent framework for Lean formal theorem proving. Using DeepSeek-V4-Flash, it reached 75.6% pass@1 on PutnamBench, with $294 in API cost for 672 problems, compared with Hilbert’s 70.0% and about $170,000 cost.

Why it matters: HKR-H/K/R all pass: Goedel-Architect pairs a 75.6% PutnamBench score with $294 for 672 problems, versus Hilbert at about $170k. It is still research-heavy, so it stays in the 78–84 band rather than P1.

Jun 5Friday

r/LocalLLaMAJun 5, 19:33

Microsoft released MAI models instead of something like Qwen3.6-27B or Gemma-4-31B

Microsoft AI released seven MAI models, with MAI-Thinking-1 listed as 1T A35B with a 256K context window and MAI-Code-1-Flash listed as 137B A5B with a 256K context window.

Why it matters: Microsoft shipping 7 MAI models with reasoning/code variants and 256K context clears HKR-K/R, and the Qwen/Gemma catch-up angle clears HKR-H. Reddit sourcing and missing benchmarks, license, and pricing keep it below P1.

Xinzhiyuan · WeChatJun 5, 16:01

Anthropic warns of AI self-acceleration as OpenAI is said to cross a reliability threshold

Xinzhiyuan cites a Yann Dubois interview saying OpenAI crossed a reliability threshold around last December, while Anthropic’s internal data says per-person quarterly code contribution reached 8× the Q1 2024 level by Q2 2026.

Why it matters: HKR-H/K/R all pass: the cliff-edge framing is clickable, and the summary includes a timing claim plus Anthropic’s 8x coding metric. Capped at 82 because this is second-hand interview analysis, not an official release or reproducible test.

Take

The “self-acceleration” framing is too easy to inflate into ASI theater. The harder claim is org-level productivity: Anthropic says per-person quarterly code contribution hit 8× its Q1 2024 level by Q2 2026. That is not AI autonomously building its successor. It is researchers, coding agents, tooling, eval loops, and infra all compressing the iteration cycle. Dubois says OpenAI crossed a reliability threshold around last December, but the article gives no internal metric or reproducible test.

I buy the “error probability every two minutes” frame more than the threshold headline. Agents fail over duration, not single prompts. A vertical harness that moves reliability from 80% to 85% has value, but it also becomes maintenance debt as models change underneath it. If a startup is selling the “AGI smell” here, ask for repeatable task length, failure rate, and who ran the benchmark.

Hacker News front pageJun 5, 15:43

Show HN: I benchmarked LLM agents on fixing real-world security vulnerabilities

Giovanni Gatti benchmarked 5 LLM agents on 20 real CVEs across 18 Python projects, and the best solve rate across 300 runs was 50%.

Why it matters: HKR-H/K/R all pass: real vulnerabilities, a reproducible test scale, and a 50% best fix rate. As a Show HN individual benchmark rather than a lab release, it stays in the lower featured band.

Take

CVE-Bench pins the security-agent problem on verification, not code editing. Five models, 20 real CVEs, and 300 runs produced a best overall solve rate of 50%, rising only to 60% under the friendliest condition. The nasty failure mode is specific: the agent edits the right file, passes visible regression tests, and leaves another vulnerable branch intact. That is worse than a plain failed patch because it creates operational permission to ship.

This lands harder than another SWE-bench-style coding score. Security patching has asymmetric loss: one missed path is still an exploitable bug. The author also says expensive models were statistically indistinguishable from cheaper same-family alternatives, at up to 12× cost per run. If that holds across larger CVE sets, buying frontier coding agents for autonomous vuln remediation is mostly buying confident-looking false closure.

AI HOT (Curated Pool)Jun 5, 11:04

Tencent's Dowson Tong: Most Tencent Code This Year Is AI-Generated

Dowson Tong said Tencent generated most of its code with AI this year, while engineers spent more time on architecture design and regularly guided and corrected AI outputs. Tencent invested 18 billion yuan in AI new products last year, and President Martin Lau said this year’s spending will at least double.

Why it matters: HKR-H/K/R all pass: a Tencent executive claims AI now generates most code and cites RMB 18B spend plus a doubling plan. It stays below P1 because the share is unquantified and self-reported.

Take

Tencent’s “AI generated most code this year” is too clean for such a messy metric. The article gives no counting method: accepted completions, raw lines, scaffold code, or effective diffs merged into main. Those are different claims. Dowson Tong also says engineers now spend more time on architecture and regularly guide and correct AI output, which sounds like a Copilot-style production reshuffle, not coders leaving the loop.

The harder number is budget: Tencent spent RMB 18 billion on AI new products last year and says this year will at least double. That can buy models, compute, IDE distribution, and internal workflow changes. Compared with GitHub Copilot’s usual productivity framing, Tencent’s “most code” line lacks the boring proof practitioners need: defect rate, review pass rate, incident rate, or cycle time. Without those, the claim proves generation penetration, not delivery speed.

Computing Life · Share · YageJun 5, 08:00

Grok Build 0.1: xAI’s Bet on Parallel Breadth

xAI launched Grok Build 0.1 in May 2026 as a coding agent built around parallel subagents; the post does not disclose benchmark results, cost figures, or specific privacy-policy terms.

Why it matters: HKR-H/K/R pass because xAI entering coding agents with parallel subagents is clickable, concrete, and relevant to developers. Missing benchmarks, cost, and privacy terms keep it at the featured floor.

AI HOT (Curated Pool)Jun 5, 05:13

Co-Existence and the End of Co-Intelligence

Ethan Mollick announced Co-Existence for an October 20 release and argues that co-intelligence is giving way to autonomous agents, citing late-2025 coding agents that a study links to 17x more code and Anthropic’s claim that AI now writes 80% of its code.

Why it matters: HKR-H/K/R all pass: Ethan Mollick’s essay has authority, a sharp framing, and concrete coding-productivity claims. It stays below 85 because it is commentary plus a book announcement, not a model release or reproducible experiment.

Hacker News front pageJun 5, 04:11

Anthropic's open-source framework for AI-powered vulnerability discovery

Anthropic published an open-source framework for AI-powered vulnerability discovery, and the HN item shows 58 points and 19 comments; the post does not disclose the framework mechanism, benchmark results, or deployment scope.

Why it matters: Anthropic source plus an open GitHub artifact clears HKR-H/R and the featured bar. HKR-K fails because mechanism, benchmarks, and scope are not disclosed, keeping it in the 72–77 band.

Take

Anthropic is planting a security-agent interface, not showing a capability win. The GitHub title gives concrete workflow labels: threat modeling, scanning, triage, patching, plus a customizable autonomous scanning harness. The HN item has 58 points and 19 comments, so even the practitioner crowd has not treated it like a major release. The missing pieces are the painful ones: mechanism, benchmark results, repo scale, false-positive rate, and Claude API dependency are not disclosed.

I don’t buy the “AI-powered vulnerability discovery” framing yet. Vuln discovery dies on signal quality, not on a neat agent loop. SWE-bench forced coding agents into measurable repair claims; security scanning still lacks a comparable public scoreboard. Without CVE reproduction sets, patch acceptance rate, and triage cost, this repo is Anthropic taking a DevSecOps doorway, not proving autonomous security work.

Financial Times · TechnologyJun 5, 02:48

US National Security Agency Using Anthropic’s Mythos for Cyber Attacks

The title says the US National Security Agency is using Anthropic’s Mythos for cyber attacks; the RSS snippet only says Anthropic is in a legal battle with the Pentagon over the Claude model and does not disclose deployment scope.

Why it matters: Single-source FT story with strong HKR-H/R; HKR-K reaches a named Mythos/Claude-Pentagon dispute, but deployment scope is absent, keeping it in the 78–84 band.

AI HOT (Curated Pool)Jun 5, 02:16

Codex launches iOS app build plugin

Codex integrated the Build iOS Apps plugin, which lets users test iOS apps in an in-app browser, open SwiftUI previews, and hot-reload edits without leaving Codex.

Why it matters: HKR-H/K/R all pass: the hook is Codex handling iOS app testing, with concrete SwiftUI preview and hot reload details. This is a mid-weight OpenAI dev-tool update, not a model release; pricing and rollout scope are not disclosed.

Jun 4Thursday

Hacker News front pageJun 4, 19:30

Show HN: Cost.dev (YC W21) Makes Agents Cost-Aware and Cheaper to Call

Infracost launched Cost.dev, a local CLI for cloud-cost estimates in coding-agent workflows, and says it cut Claude output-token use by up to 79% and API cost by up to 67% versus a bare-Claude baseline.

Why it matters: HKR-H/K/R all pass: the local CLI cost-estimation mechanism and 79%/67% reduction claims are concrete. It is still a small vendor launch, so it sits at the featured floor, not same-day news.

Xinzhiyuan · WeChatJun 4, 19:17

Silicon Valley CEO backs MiniMax M3 as it tops open-source rankings amid Chinese community debate

MiniMax M3 ranks first among open-source models on Artificial Analysis, and the article says it supports a 1M-token context window, used 100T-scale pretraining, and will open-source its weights and full technical report within 10 days.

Why it matters: HKR-H/K/R all pass: the hook is an open-source No.1 claim amid debate, with 1M context, 100T pretraining, and weights promised in 10 days. Since weights and full report are not out, this stays in 78–84, not P1.

Take

MiniMax M3’s risk is not weak capability; it is that the narrative is ahead of reproducible proof. The article gives strong numbers: No. 1 open model on Artificial Analysis, 1M-token context, 100T-scale pretraining, 93.2% on GPQA Diamond, 74.0% on long-context reasoning, 1670 on GDPval-AA, plus a promise to release weights and the full technical report within 10 days. That is a lot of claim surface.

The gap is evidence control. Much of the current proof comes from blind tests, community demos, and media-run tasks, not local reproduction. DeepSeek earned developer trust by making cost, behavior, and engineering details hard to ignore. M3 needs the same treatment: inspect MSA, run 1M-context failures, price real Agent Team workloads, and compare against Sonnet and Opus outside curated prompts. Until then, “open-source No. 1” is a release asset, not a settled developer fact.