X前沿02:13Boris Cherny@bcherny别忽视 Claude Slides。这就是我现在制作幻灯片的方法 —— 不再像以前那样去谷歌“iphone frame svg”。 试试吧:https://t.co/cAWdwarzgp https://t.co/POdqFL9oIP薄雾 采集读全文↗
X前沿02:12Boris Cherny@bcherny我无法想象没有 Claude 代码审查的情况下还能高效工作。它会运行在我所有的 PR 上,并且几乎在问题出现之前就抓住了每一个 bug。这是让团队和我能够如此快速前进同时提高质量标准的秘方之一 https://t.co/7HdyTFsM0I薄雾 采集读全文↗
X前沿01:55Boris Cherny@bcherny在过去的几年里,我们在Claude模型的提示注入方面取得了显著进展。随着代理的功能越来越强,我们迫切需要在整个行业解决这个问题。 非常高兴能与Gray Swan合作举办这次比赛。迫不及待想看到你们的表现 https://t.co/CFLqGn29kh薄雾 采集读全文↗
X前沿03:04Boris Cherny@bchernyHaiku 5.5 是一款好 Haiku。 在 10 万 token 上下文下,它的价格也比 Haiku 4.5 便宜 10 倍薄雾 采集读全文↗
X前沿04:15Boris Cherny@bcherny我很惊讶大家会对我这样给 Claude 写提示词感到惊讶。 像对待同事一样和 Claude 交谈。写提示词没有什么秘诀。对于大多数任务,无需过度搭建脚手架或过度规定细节——给 Claude 一个目标,它会自己想办法完成。 在 Sonnet 3.5 的时代,你的提示词非常重要。如今,更重要的是向模型传达: 1. 你希望它做什么 2. 你希望它投入多少精力 3. 它应该如何验证自己做对了薄雾 采集读全文↗
X前沿01:02Boris Cherny@bcherny我让 Opus 5.5 为最新一期 @AcquiredFM 的 Home Depot 节目做了一个交互式网站伴读页面。效果相当不错! 水彩插画也全部由 Claude 绘制:https://claude.ai/artifact/RdE6uE7WozcP2MLfx3BDky 节目链接:https://www.acquired.fm/episodes/home-depot薄雾 采集读全文↗
X前沿04:27Boris Cherny@bchernyMods绝对是疯狂的。现在,您可以自定义Claude的工作,看看你想要的方式,只是提示它。 每个人的工作方式都不同,所以没有理由每个人都应该有相同的克劳德经历。让克劳德自己,并分享mods作为插件,以便其他人也可以尝试你的mods。薄雾 采集读全文↗
X前沿07:09Boris Cherny@bcherny更多的细节的正式方法的人-发生了什么事是克劳德正在做这样的事情: 1.构建程序模型,针对棘手的状态机或代码中易发生竞争的部分 2.在模型中查找反例这些是可疑的bug 3.重现bug 4.修复代码中的bug 这并不是说整个代码库被正式验证 (还没有!..),更多的是代码中最hairiest的部分被建模,检查反例,并修复。薄雾 采集读全文↗
X前沿04:15Boris Cherny@bcherny如果您注意到https:// claude.ai和桌面应用程序在过去几周内变得如此之快,那么我们就是这样做的。 许多多汁的学习和技术在博客文章的工程师工作加快自己的应用程序。薄雾 采集读全文↗
X前沿07:39Boris Cherny@bcherny我使用Opus 5.5并借助Lean对Claude Agent SDK进行了形式化验证。几个简短的提示 = 16个拉取请求,修复了各类错误和竞态条件。已附上视频。 TLA也效果很好。我有时会将Lean和TLA结合使用,以查找与数据流、并发性和状态管理相关的问题。 我对这两种语言都不太了解,但克劳德在这两种语言上都很出色。这种方法对于正式建模您的代码和发现人类可能不会发现的错误非常有用。 形式验证是编码的未来 (或者至少是错误发现) 吗?薄雾 采集读全文↗