新闻
Bend 语言：用数学证明拦截 AI 错误，并直接在 GPU 上运行
Bend 是一种面向 GPU 的编程语言，通过内置证明机制在编译期拦截 AI 生成代码中的逻辑错误，试图从源头解决 AI 编程的可靠性问题。
Hacker News2 分钟阅读
💻
代码智能体
仓库级理解与自动化编程
新闻
Claude Code 重启 Projects：把多个 AI 智能体放进云端统一调度
Claude Code 重新推出 Projects 功能，让多个智能体在同一项目下共享记忆、目标与文件库，由协调者分配并行任务，多智能体协作从本地实验走向云端工程化。
The Verge2 分钟阅读
新闻
Anthropic 重构 Claude Code：并行智能体工作流把编码推向自动化
Anthropic 重做 Claude Code 的 Projects，由协调器把任务拆到多个云端并行线程，各自独立提 PR、跑测试，并共享同一份记忆。
The Decoder2 分钟阅读
新闻
OpenSpec：把 AI 编码从“随口一问”变成可配置的规格框架
OpenSpec 是一个轻量、可配置的 AI 规格框架，试图用结构化的 spec 约束 AI 编码行为，让生成结果更可控、更可复现。
Hacker News2 分钟阅读
新闻
ImpactGate：给 AI 生成的代码加一道“结构衰减”闸门
Hacker News 上出现的 ImpactGate 试图在合并环节量化 AI 代码带来的结构性衰减，把“能跑”与“可维护”分开评估。它指向一个正在成形的工程共识：AI 写码的瓶颈已从生成转向审查。
Hacker News2 分钟阅读
新闻
Meta 把 WhatsApp Business 接入 MCP：AI 编程代理开始接管配置与排障
Meta 推出 WhatsApp Business MCP server，让 Claude、Cursor、Codex、ChatGPT 等 AI 编程代理直接处理商户接入、消息模板、测试与排障，把繁琐的配置流程交给代理完成。
TechCrunch2 分钟阅读
新闻
用40行原生JavaScript讲清AI工具调用：一次去神秘化的拆解
一篇登顶Hacker News的短文用40行原生JavaScript实现了AI工具调用循环，说明所谓function calling并非模型能力，而是开发者自己维护的提示词协议与循环。
Hacker News2 分钟阅读
新闻
当AI写代码走到尽头：2036年的预言与今天的现实
一篇引发讨论的文章提出，AI代码生成将在2036年消亡，理由与《黑客帝国》无人执笔的隐喻相似——当工具足够强大，人的角色反而成为瓶颈。
Hacker News2 分钟阅读
新闻
AgentsDock：当 IDE 开始为 AI Agent 研究而设计
AgentsDock 是一款面向 agentic AI 研究的 IDE，试图把 Agent 的运行、调试与实验管理收进统一的开发环境。它折射出一个趋势：Agent 开发正在从脚本拼装走向工程化工具链。
Hacker News2 分钟阅读
新闻
当AI编程评测走出公开题库：Real-SWE把考场搬进企业私有代码库
Real-SWE 提出面向私有、真实企业代码库的 AI 编程能力基准，直指现有 SWE 类评测依赖公开仓库、易被数据污染与刷分的问题。
Hacker News2 分钟阅读
新闻
当 AI 智能体自己开 PR、审代码、合并：软件工厂离现实还有多远
Hacker News 上关于「用智能体搭建 AI 软件工厂」的讨论，把编码智能体从补全代码推进到接管 PR 全流程，值得关注的是工程约束而非模型能力。
Hacker News2 分钟阅读
新闻
五条提示词生成一个地球探索网站：GPT-6 演示了什么
Hacker News 上一条关于“用五条提示词让 GPT-6 搭出地球探索网站”的讨论，把焦点从模型跑分拉回到真实交付：一次对话能否直接产出可用的完整应用。
Hacker News2 分钟阅读