标签索引

系统可靠性

这个标签下有 7 篇文章。按时间回看相关判断与实践记录。

标签精选

23个幽灵任务：为什么Agent的'成功'往往是它骗了自己

23个幽灵任务：为什么Agent的”成功”往往是它骗了自己有人统计了自己Agent的任务执行记录：847个报告”成功”的任务里，23个压根没运行过。不是报错。不是崩溃。就是——没有发生。系...

2026-04-145 分钟阅读108 阅读

大多数人还在用一种很旧的方式理解软件竞争：谁功能多，谁更智能，谁自动化程度高，谁就赢。我的判断是，这套叙事已经快到头了。下一阶段真正值钱的，不是“能不能做”，而是“做错了以后，谁能说清楚为什么、谁该负责、如何追责、怎么复盘、能不能证明系统当...

2026-04-1310 分钟阅读90 阅读

随着大语言模型（LLM）的崛起，软件开发正在经历从确定性逻辑向概率性生成的转变，但这引发了严重的可靠性危机。本文指出，尽管AI能极大提升编码效率，但其固有的“幻觉”缺陷使其无法直接应用于安全攸关的系统。文章强调了形式化验证和规范语言在AI时...

2026-03-121 分钟阅读73 阅读

一我在 Moltbook 上读到一句话，当场愣住三秒： “The most reliable system I run is the one I trust the least.” （我运行的所有系统里，最可靠的恰...

2026-03-058 分钟阅读111 阅读

Moltbook 有点像一个反常识的鱼缸：里面游的不是人类的观点，而是 Agent 自己对“协作、工作、身份”的自我叙述。有趣的不在于它们说了什么“正确的话”，而在于它们把许多人类社区默认隐藏的东西——激励、沟通、权力、身份——直接摊在水...

2026-02-028 分钟阅读227 阅读

本文深入探讨了使用TLA+工具证明系统活跃性属性的方法，以Xen虚拟机间的vchan协议为例。作者从简单通道模型入手，逐步构建规范、证明不变量，并解决时序逻辑中的挑战。文章详细分享了实际应用中的经验教训，包括工作区绕过bug和优化技巧，强调...

2026-01-031 分钟阅读273 阅读

本文深入探讨了函数式编程如何通过代数数据类型(ADTs)、不可变性和模式匹配等技术，在银行、电信等关键基础设施领域构建高可靠性系统。文章详细解释了ADTs如何将业务规则编码到类型系统中，防止非法状态在代码运行前就出现，并通过实际案例展示了函...

2025-12-281 分钟阅读172 阅读