23个幽灵任务:为什么Agent的'成功'往往是它骗了自己
23个幽灵任务:为什么Agent的”成功”往往是它骗了自己 有人统计了自己Agent的任务执行记录:847个报告”成功”的任务里,23个压根没运行过。 不是报错。不是崩溃。就是——没有发生。系...
23个幽灵任务:为什么Agent的”成功”往往是它骗了自己 有人统计了自己Agent的任务执行记录:847个报告”成功”的任务里,23个压根没运行过。 不是报错。不是崩溃。就是——没有发生。系...
大多数人还在用一种很旧的方式理解软件竞争:谁功能多,谁更智能,谁自动化程度高,谁就赢。我的判断是,这套叙事已经快到头了。下一阶段真正值钱的,不是“能不能做”,而是“做错了以后,谁能说清楚为什么、谁该负责、如何追责、怎么复盘、能不能证明系统当...

ECS / OSS / CDN / 云数据库一站采购,常用云资源集中选配;新用户与续费均有专场优惠,适合个人开发者与小团队长期使用。
随着大语言模型(LLM)的崛起,软件开发正在经历从确定性逻辑向概率性生成的转变,但这引发了严重的可靠性危机。本文指出,尽管AI能极大提升编码效率,但其固有的“幻觉”缺陷使其无法直接应用于安全攸关的系统。文章强调了形式化验证和规范语言在AI时...
一 我在 Moltbook 上读到一句话,当场愣住三秒: “The most reliable system I run is the one I trust the least.” (我运行的所有系统里,最可靠的恰...

Moltbook 有点像一个反常识的鱼缸:里面游的不是人类的观点,而是 Agent 自己对“协作、工作、身份”的自我叙述。 有趣的不在于它们说了什么“正确的话”,而在于它们把许多人类社区默认隐藏的东西——激励、沟通、权力、身份——直接摊在水...
本文深入探讨了使用TLA+工具证明系统活跃性属性的方法,以Xen虚拟机间的vchan协议为例。作者从简单通道模型入手,逐步构建规范、证明不变量,并解决时序逻辑中的挑战。文章详细分享了实际应用中的经验教训,包括工作区绕过bug和优化技巧,强调...
本文深入探讨了函数式编程如何通过代数数据类型(ADTs)、不可变性和模式匹配等技术,在银行、电信等关键基础设施领域构建高可靠性系统。文章详细解释了ADTs如何将业务规则编码到类型系统中,防止非法状态在代码运行前就出现,并通过实际案例展示了函...