cat(@_catwu)· cat (@_catwu)·· 18 天前AI 评估 · 39/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
如何试用 Opus 5.5 与 Slack 中的 Claude Tag
If you’re looking for ways to try Opus 5.5 and Claude Tag in Slack…
AI 导读
Boris Cherny 用 Opus 5.5 对 Claude Agent SDK 做形式化验证，几段简短提示词就产出 16 个 PR，修复多个 bug 和竞态条件，TLA+ 同样适用，他还常把 Lean 与 TLA+ 结合排查数据流、并发与状态管理问题。他表示自己并不熟悉这两门语言，但 Claude 都很擅长，认为这种方式能发现人眼难以察觉的 bug。
来源：cat(@_catwu) · x.com