标签:# 软件工程

给大模型穿上确定性装甲:解构 Agent Harness 四大中枢、ReAct 执行闭环与企业级安全护栏

大家可能都想过这么一个看似理所当然的问题:既然如今的大语言模型(LLM)已经如此聪明,写代码、作诗、逻辑推理样样精通,为什么我们不能直接把一个模型扔进操作系统里,让它自主去查邮件、做报表、甚至修改生产数据库?

问题的关键在于:纯粹的大语言模型在本质上只是一颗“缸中之脑”(Brain in a Vat)。它们极其擅长概率性的“下一个 Token 预测”,但本身无状态、易受幻觉干扰,且对真实世界的物理系统和数字接口缺乏直接的操控与感知能力。要让这颗聪明的大脑走出玻璃罐,在复杂的企业级现实世界中真正干粗活,它必须穿上一副由确定性代码铸造的坚硬机甲——这就是 Agent Harness(智能体马具 / 运行底座)。本文将从第一性原理出发,通俗且深度地拆解 Harness 的核心定义、四大中枢组件、ReAct 动态执行闭环、事后评估与实时硬护栏的边界,并探讨为何在模型频繁贬值的时代,Harness 才是企业真正历久弥新的核心 AI 投资。

不读不写代码如何掌控系统?解构 François Chollet 的推理模型开发流与“洗碗机哲学”

Keras 创始人、ARC-AGI 提出者 François Chollet 近日抛出了一段引发全球开发者震动的自述:“这些日子我既不读代码,也不写代码了,我只负责向推理模型(LRM)下达指令。”更耐人寻味的是他的补充:“这并不是因为我认为 LRM 生成的代码质量有多完美甚至算得上优秀,也绝非我的指令每次都能被百分之百精准执行——我知道它们并不能。”

技术专家肖潭(@tvytlx)随后为此提炼了一个极其生动的隐喻——“洗碗机哲学”:很多人总在等 AI 的代码质量彻底追上手工才能放手,但真正的拐点在于“洗碗机洗得一般,但它能洗三遍,而洗三遍的同时你还能去干别的”。读写代码从来不是工程师的终极目的,掌控系统才是;当机器的验证成本以指数级降低时,传统的软件工程经济学正在被全方位重写。

图是长出来的,不是画出来的:从 570 个任务实操看多 Agent 图工程(Graph Engineering)与改图权治理

随着大语言模型编码能力从单次代码补全迈向自主执行,AI 研发范式正经历一场深刻的蜕变:从早期由单一模型驱动的单循环(Loop Engineering),全面进阶到由拓扑图驱动的多智能体系统(Graph Engineering)。然而,当开发者试图将几十乃至上百个子任务编排进有向无环图(DAG)并交给并行 Agent 集群执行时,往往会遭遇严峻的工程现实——计划赶不上变化,看似全绿的构建在真机上轰然溃败。

前字节跳动移动端架构师 Aiden(@wohsj110)在一个月内调度 570 个 Agent 任务的硬核实战,为我们揭示了工业级图工程的核心底牌:长任务要想真正立得住,Graph 只解决了任务切分与衔接;跑得对不对必须靠机器硬证据构筑的 Eval 门禁;而跑偏后能否自我修复,则取决于运行时的“改图权”治理机制。

打破 KV Cache 的暴政:TypeSafe Jev 工程学与 Coding Agent 原生 Harness 架构重构

在当今的大模型与编程智能体(Coding Agent)浪潮中,存在着一个极其讽刺的现实悖论:底层基座模型的参数量、多模态能力与推理时算力(Test-time Compute)日新月异,而上层负责承载模型运行的 Agent 运行时(Harness),本质上却依旧停留在一段极其原始的 while 循环里——一个模型,搭配一份只追加(Append-only)的对话记录和几个固定的文件读写工具。

由 TypeSafe 创始人 Diogo Almeida 提出、近期由开发者社区译介并引发系统架构圈激烈讨论的开源项目 《Jev 工程学:为 coding agent 而作》(yibie/jev-engineering-zh),以极高的工程洞察力直击这一技术痛点。它抛出了一个震撼软件工程界的反直觉设问:“如果语言模型完全没有 KV Cache,你会如何重新设计一个 Coding Agent?” 这份工程蓝图不仅深刻揭示了线性追加对话对现代 Agent 体系的六大严重绑架,更从第一性原理出发,系统推演了一套基于显式带类型状态、毫秒级离散裁决与动态上下文组装的原生 Harness 架构体系。

当 Agent 不再用大模型做微决策:Jev 生态 10 款先锋开源项目全景实战

随着 TypeSafe AI 推出专门针对非自回归微决策的“快思考(System 1)”模型 Jev,开源社区在短短数天内掀起了一场席卷全网的架构重塑狂欢。仅仅 5 天时间,就有超过 14 万开发者涌入该生态,用它来改造自己原本笨重慢速的智能体系统。

过去两年,构建复杂 Agent 系统的工程师普遍饱受“微决策断层”之苦——每次简单的分支判定、控件选择或上下文过滤,都不得不唤醒昂贵且延迟动辄数秒的自回归大模型(LLM)。当 Jev 将单次判定时延压缩到 70~200 毫秒、成本压缩数十倍之后,社区迅速诞生了从网页自动化、桌面操控到代码评审、任务路由与知识图谱的全面落地实验。本文将全面盘点当前最具代表性的 10 款先锋开源项目,拆解其背后的 5 大工程范式与源码级实现。

开口即响应:macbrow 如何用 System 1 决策与无截图管线重塑 Mac 语音 Agent

在多模态大模型席卷人机交互的今天,“动动嘴皮子让电脑替我干活”一直被奉为下一代操作系统的终极形态。然而,现实中所有尝试过语音控制电脑的用户,几乎无一例外被折磨得失去耐心:从说完一句话,到屏幕截图、上传云端、多模态大模型逐 token 慢速推演、坐标定位计算,往往需要经历 5 到 15 秒令人窒息的漫长死寂。这种“便秘式”的交互延迟,让现有的 Computer-Use 系统大多只能沦为技术演示,难以真正融入高频的日常生产力场景。

近日,开源开发者 Pratim Bhosale 推出的实验性项目 macbrow(timpratim/macbrow)在开源社区引发了强烈反响。该项目打破了传统 Computer-Use“全流程重型视觉自回归”的思维定势,巧妙地将 TypeSafe 刚推出的 Jev(System 1 非自回归决策模型) 与 Gradium 毫秒级流式语音网关、LiveKit Agents 以及去视觉化的 jev-ultrafast 浏览器控制引擎融为一体。作者实测跑出了惊艳的工程数据:1.6 秒内完成指令并开始播放电影预告片、3.7 秒追问修改机票返程日期、11 秒内将亚马逊吸尘器加入购物车。本文将深入源码,彻底剖析 macbrow 的底层架构设计与毫秒级执行秘密。

不聊天的 Jev 为何刷屏?解析 TypeSafe AI 的 System 1 架构、微决策图谱与工程现实

2026 年 9 月 15 日,由前 OpenAI 研究员 Diogo Almeida 领衔创立的 TypeSafe AI 正式走出隐身模式,宣布斩获 DCVC 领投的 4000 万美元种子轮融资,并同步推出了一款极具反叛色彩的专用模型——Jev。它不陪用户闲聊,不写行云流水的长文,也不直接生成任何可执行代码。

然而,就是这样一个主动放弃了“文本生成”能力的模型,在发布次日便被 Vercel 极速接入其 AI Gateway,紧接着 Netlify 与各大 Agent 框架也争相宣布集成。在业界集体为推演链、多模态与超长上下文陷入参数内卷的当下,一款反其道而行之的“哑巴”模型为何瞬间引爆了工程界?它究竟解决了现代软件开发流水线中怎样的隐疾?

代码只占两成,剩下的八成是什么?透视 5 万星神库 professional-programming 的全周期工程哲学与高阶底牌

在 AI 编程智能体(Claude Code、Cursor、Antigravity 等)全面接管研发日常的今天,软件工程正经历着一场前所未有的认知重构:大模型几秒钟内就能倾泻出数百行语法正确、结构工整的业务代码,让“编写代码”本身的边际成本断崖式暴跌。然而,几乎所有一线技术团队都面临着相似的困境——代码产出速度暴涨了十倍,但系统的线上故障率却没有降低,云账单如脱缰野马般狂飙,架构腐化与调试排障的心智负担反而呈指数级递增。

这印证了 Go 语言之父 Rob Pike 广为人知的一句箴言:“Software engineering is what happens to programming when you add time and other programmers.”(软件工程,就是给单纯的编程加上‘时间跨度’与‘其他程序员协同’后发生的一切)。编写代码至多只占专业软件工程的 20%,而剩下的 80%——关于防御性架构设计、复杂系统失效机理、无指责复盘、马斯洛代码审查金字塔、以及在不确定性中权衡买与造的高阶决策,才是拉开业余码农与真正专业工程师天堑的硬核护城河。

陪审团查证、主审官举证:Code Jury 如何用多智能体法庭质辩终结 PR 评审幻觉

在 AI 编码工具(Claude Code、Codex、Cursor、Antigravity 等)全面接管研发日常的今天,代码产出速度暴涨了十倍,但研发效能的真正堵点却顺延到了下游:代码评审(Pull Request Review)。

为了分担人类工程师的审阅负担,不少团队尝试引入 AI 进行自动代码审查。然而,早期的尝试往往迅速沦为两场灾难:要么是单个智能体“自审自查”,陷入 自证清白的严重幻觉 与虚假绿灯;要么是拉入多个智能体互审互改,演变成 “无休止的乒乓补丁战” ——A 提修改,B 反对并改回,C 又引入无端抽象,甚至连改 10 轮依然无法收敛。

近期在开源社区备受瞩目的 Code Jury(agentsdance/codejury),以一种极富创见的“英美法系法庭质辩”架构,彻底打破了这一僵局。它将多智能体分工重构为 “只看不动的陪审团(Jury)” 与 “唯一动刀的主审法官(Judge)”,并推行极其严苛的 机械证据门禁(Mechanical Gate)。

本文将深入剖析 Code Jury 的核心架构、博弈收敛机制以及在生产级复杂并发系统中的真实质辩案例。

如何让每天 300 轮 CI 提速 50%?Ekstazi 与 Google TestSage 精准测试顶会论文研读

在上一篇关于 Vibe Coding 质量防线的探讨中,我们提到了高频交付团队的痛点:当 AI 驱动代码产出呈指数级激增,团队每天上线 50 次、流水线触发 300 轮 CI 时,全量测试的执行耗时与庞大算力开销将成为阻断交付的致命瓶颈。

此时,精准测试(Regression Test Selection, RTS)成为了现代效能工程的唯一解。但市面上多数团队自研或引入的测试选择工具,要么漏测频发,要么分析本身耗时甚至超过了跑测试的时间。

在精准测试近四十年的演进史上,有两篇里程碑式的学术与工业顶会论文彻底改变了该领域的工程范式:

  1. 《Practical Regression Test Selection with Dynamic File Dependencies》(ISSTA 2015 杰出论文奖,来自 UIUC 团队的 Ekstazi);
  2. 《TestSage: Regression Test Selection for Large-scale Web Service Testing》(ICST 2019 Industry Track,来自 Google Assistant 核心团队)。

这两篇经典论文究竟解决了什么看似无解的工程矛盾?它们给今天处于 AI 编码狂潮中的微服务与前后端流水线带来了哪些不可替代的架构启示?本文将带你展开一次透彻的端到端深度论文拆解。