装了个形式化验证 skill：装上 Java、电脑烫 10 度，竞态条件「不存在了」
zealcaiden · x · 2026-10-23
用户使用了 poteto 的 /create-formal-verification-skill 之后，不清楚它到底做了什么，只看到它装了 Java，MacBook 温度升高约 10 度、编译多花 6 分钟。不过对方表示「竞态条件从此不可能发生了」，他觉得挺好——典型的 agent skill 黑盒副作用吐槽。
「编程与Agent」频道最新
- 实测 12 个 AI 分类器后,作者直言「分类器新热是cosplay」 — KlausCodes · 2026-10-23
- 用 ESP32 小屏给 Claude Code 做 status 卡片，Go 本地检测状态 — tonylook · 2026-10-23
- Agent 调试新玩法:把 agent 指向 AgentsView CLI 让它自己查 trace 找病因 — dbreunig · 2026-10-23
- YC 系 Mireye 推出土地数据 API+MCP，覆盖 1.6 亿地块 — ycombinator · 2026-10-23
- 实测 12 套决策系统：分类器换版的「LARP 式炒作」陷阱 — KlausCodes · 2026-10-23
- 「给 agent 用的 Product Hunt」上线:按真实调用排出的工具榜 — claudeai · 2026-10-23