芦苇
发帖子
探索
今天发现最新帖子添加订阅
热门板块
🤖AI💡科技💻开发🧭产品🛠️工具
订阅
关注
下载芦苇 App ↗
我我的
进入阅读器模式
bcherny,Anthropic 的 Claude Code 团队成员。关注
内容讨论 图片 1

It was an honor to meet Donald Knuth at the Computer History Museum today

添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论

登录芦苇

登录后关注作者、收藏内容和参与讨论。

关于作者
bchernyAnthropic 的 Claude Code 团队成员。
相关文章
给形式化方法的人更多细节——正在发生的是 Claude 在做类似这样的事情:查看相关内容
如果你注意到了过去几周 https://claude.ai 和桌面应用速度变快的话,这就是我们做到的。查看相关内容
I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached. TLA+ also works well. I sometimes combine L查看相关内容