形式化验证的盲区：登录规格从未承诺「一定会回答」
krishnan · x · 2026-11-10
krishnan 线程第 4 部分，剖析 PDD Kit 生成规格的边界：
- 规格只规定登录「如果回答」时返回什么，从不承诺会回答——挂起或超慢的查询不违反任何条款
- 时间与尝试频率同样不在承诺范围内
- 作者指出微软团队坦诚说明了这些限制，比大多数发布文诚实
所属事件:微软 PDD Kit 实测:形式化验证的能力与盲区(4 条相关)→
「编程与Agent」频道最新
- 用 Fable 5.2 写代码作画:每幅是千行 Python 模拟画笔引擎 — joellewenstein · 2026-11-10
- MCP 新增 Events 机制,agent 可订阅事件告别轮询 — cramforce · 2026-11-10
- 双模型工作流：Fable 5.2 做规划，Opus 5.5 做执行 — daniel_mac8 · 2026-11-10
- Replit 推出 Monitoring Agent:vibe coding 应用可自修复运维 — amasad · 2026-11-10
- 多智能体 harness 在 ProgramBench 上同时拉高准确率与延迟表现 — marktenenholtz · 2026-11-10
- Zig 写的开源编码 Agent fx 发布：单个二进制仅 5.97 MiB — evilrabbit_ · 2026-11-10