@bcherny:我用 Opus 5.5 搭配 Lean 对 Claude Agent SDK 进行了形式化验证。几条简短提示词,换来 16 个修复各类 bug 与竞态条件的 PR。附视频。
用 Opus 5.5 结合 Lean 形式化验证 Claude Agent SDK,几条提示即产出 16 个修复 bug 与竞态的 PR;也可配合 TLA+ 排查数据流、并发和状态问题。
@bcherny:Opus 5.5 是一款非常出色的模型,过去几周一直是我的主力选择。
Opus 5.5 移植 HAProxy 至 Rust 仅 9.5 小时,成本低 51%。
@bcherny:Projects 不仅改变了我与 Claude 的交互方式,也改变了我的编码方式。
不再手动管理会话,随手发送想法,Claude 自动分线程并记住我的工作习惯,如今这里成了我主要的编码场所。
@bcherny:如今我很多代码都用 Projects 写。非常期待大家尝试全新体验!现已开始推送
@bcherny 常用 Projects 写代码,新体验正在推送,邀大家试用。
@bcherny:同样在今天:Claude 文档、Claude 幻灯片和 Claude 设计已进入每一次对话。
Claude 文档、幻灯片与设计功能已融入每次对话,无需切换工具,生成内容可编辑并导出为 PPT 或 PDF。
@bcherny:Claude Code 证明了 AI 能真正干活,而不只是回答问题。开发者把一个功能交给 Claude,回来时拿到的就是已上线的代码——如今业界大量严肃工程都在这里跑。
Claude Code 证明 AI 能真正干活:交付功能即得上线代码,成为业界严肃工程主阵地。
@bcherny:Claude Mods 现已上线,有人已经做出了"Claude 里的俄罗斯方块"模组 🤯
Claude Mods 正式上线,社区已有人做出在 Claude 内运行俄罗斯方块的模组。
@bcherny:Fable 破解了已有 370 年历史的 Cyphral Distich 密码。用 Claude 的超酷玩法
Fable 用 Claude 破解 370 年前的 Cyphral Distich 密码,方式极酷。
@bcherny: The latest Threat Intelligence report is an absolutely terrifying and important read.
@bcherny: Every day, I get a lot of of emails and messages like this one. I try to respond to as many as I can.
@bcherny: wait what
@bcherny:刚刚上线:/diff 现已成为可滚动、可点击的常驻面板,并会实时更新。
/diff 变为可滚动、可点击的常驻面板,实时更新,无需切换窗口即可查看代码。
@bcherny:重要的是那些小事
推文强调细节小事的重要性,附链接。
我很高兴看到OpenAI新模型在提示注入风险上与Gemini Flash和Opus 4.8大致相当,干得漂亮!
OpenAI新模型在提示注入风险上与Gemini Flash和Opus 4.8相当,值得称赞。
@bcherny:需要你的意见:你会用它吗?
这是让Claude Code更具扩展性的早期构想,有点疯狂但令人兴奋,现征求你的反馈。
后台使用电脑被低估
后台运行电脑任务的价值被低估。
持续优化生活质量小改进。日常使用桌面应用时,启动慢会让人感觉卡顿。正在进一步改善!
持续优化生活质量改进,重点解决桌面应用启动慢导致的卡顿感,进一步提升使用体验。
@bcherny:像这样的小型生活质量改进会积少成多,更多改进即将到来
小改进日积月累,成效渐显;更多改进已在路上。
@bcherny:请告诉我们您的想法!
请告诉我们您的想法!
@bcherny:过去几周我尝试的古怪实验是让Claude接管我们应用的日常维护,初步迹象显示这可能可行。
让Claude接管应用日常维护的实验,初现可行迹象。
@bcherny: 事实证明,如果你堆叠足够多的层(模型训练+输入探针+意图分类器),可将未见攻击的间接提示注入降至约0。一年前我没想到。下周起,Claude Code默认启用自动模式。
多层防御(模型训练+输入探针+意图分类器)使未见攻击的间接提示注入近乎为零,作者意外。下周Claude Code默认自动模式。
@bcherny:团队和我几个月来只使用自动模式,无法想象回到权限提示!非常期待发布给大家。
团队数月来仅用自动模式,不愿回到权限提示,期待发布。
@bcherny: Opus 5 是编程、数据分析、设计、生物学、知识工作的绝佳模型。
Opus 5 在多项领域表现卓越,且是最不易受提示注入影响的模型。
@bcherny:这相当了不起
非常震撼
@bcherny: Claude Code 新功能:/checkup
运行 /checkup 可清理未用技能/插件、去重并拆分 CLAUDE.md、关闭慢钩子、更新版本。
@bcherny:同意
同意
@bcherny:应您所求,Claude桌面版现已支持Linux!
用户诉求已实现,Claude桌面版Linux版本正式上线。
@bcherny:用Claude Code的有趣方式——破译克里特岛3500年前的线性文字A
用Claude Code破译3500年前的克里特线性文字A,一种有趣的方法。
@bcherny: 尽情享受!
享受!