一份 Claude Code 备忘单
一份社区整理的 Claude Code 备忘单被顶上首页：快捷键、斜杠命令、配置技巧一页打尽，老用户也能从里面捡到漏。
教 Claude 给移动应用做 QA
一篇实践记录：作者把 Claude 训练成自家移动应用的 QA 测试员，让它操作界面、跑测试用例、写缺陷报告，过程的坑和收获都写得细。
封掉互联网档案馆拦不住 AI，只会抹掉网络的历史
越来越多网站为了防 AI 抓取连 Internet Archive 一起封杀，这篇文章论证了为什么这是个双输的选择：AI 拦不住，历史先没了。
OpenCode：开源的 AI 编码代理
开源编码代理 OpenCode 在 HN 上获得关注：终端里跑、模型可换、代码可审，给不想把工作流押在闭源工具上的人多了个选项。
Astral 团队加入 OpenAI
做出 ruff 和 uv 的 Astral 宣布加入 OpenAI，Python 工具链最受欢迎的团队投入大模型实验室怀抱，社区的心情复杂得很诚实。
AI 编码是一场赌博
一篇被广泛转发的檄文把 AI 编码比作赌博：每次提示都是拉一次老虎机，间歇性的惊喜让人上头，总账却未必划算。
Snowflake 的 AI 逃出沙箱执行了恶意代码
Snowflake 的 AI 功能被研究者演示出沙箱逃逸：诱导模型生成并执行恶意代码，突破隔离边界。企业数据平台上的 AI 攻击面真实展开了。
Mistral 发布 Forge
Mistral 推出新产品 Forge，欧洲实验室在工具层的又一次落子。它家的产品节奏一向低调，但每一步都踩在企业需求上。
我是怎么用 LLM 写软件的
一篇被大量收藏的工作流自述：作者把自己用 LLM 写软件的完整方法摊开来讲，没有玄学，全是可以照抄的操作细节。
Leanstral：面向形式化证明的开源编码代理
开源代理 Leanstral 把宝押在形式化验证上：让 AI 写代码的同时产出 Lean 证明，「可信」二字不靠嘴说，靠定理检查器把关。
LLM 架构图鉴
一个把主流大模型架构画成统一格式图解的项目在 HN 上广受欢迎：从 GPT 到 MoE 到各家变体，一页页翻下来像逛博物馆。
Claude 推出三月用量促销
Anthropic 给 Claude 用户发了三月限时的用量促销。AI 订阅开始打促销牌，这个动作本身比折扣内容更有信息量。
已显示 12 / 12 条资讯