全部动态
作者用 Claude Code 给小米电视做了个 1.6 兆的无广告启动器，不用 root，老电视也能跑，界面干净得像苹果盒子。
Gergely Orosz 回了封很狠的求助信：老板把 token 用量当 KPI 没错，拒绝学 AI 的工程师确实会被市场淘汰，看完会让你重新想自己的处境。
pstack 出了个 meta-skill，你说要验证啥，它就帮你生成 TLA+ 或 Kani 的验证方案，作者自己已经用它找到了几个 bug。
Claude Code 团队 90% 代码靠 AI 写，PR 翻倍回滚率反降 40%，这篇文章把整套验证流水线讲透了，做工程的朋友直接抄作业。
Next Token 更新了，聊聊海内外大模型近况，还有一堆 Bot 使用的小技巧和吐槽，藏师傅结尾埋了个彩蛋，通勤路上听正好。
Claude Code 团队晒出真实数据：九成代码 AI 写，改了两轮 AI 审 AI 50 多轮的趣事，还有撤回率降四成的结果，做 AI 编程的可以参考这套审查思路。
有人晒了 DeepSeek 跑同一个提示词的完整账单：21 分钟、900 万 token 才 0.21 美元，想看它实际编码水平可以围观。
GitHub 用开源智能体扫出一个千万下载导航 App 的位置泄露漏洞，还把整套 taskflow 公开了，你可以拿来扫自己的项目。
NVIDIA 出了个 5 分钟视频，教你用 Dynamo 把单个模型端点在 Kubernetes 上扩成多 worker，还带 OpenAI 兼容接口，运维模型服务的可以直接看。
Percy Liang 把 KV cache、GQA、投机采样这些推理优化串成一条数学主线，讲义公式全用 sympy 可验证，想搞懂推理为啥慢的必看。
Stripe 首席设计官 Katie Dill 的演讲实录，讲 AI 时代怎么守住设计品质。MCP 读文档效果差改用 CLI 这个踩坑经验，做 AI 编程工具的都该看看。
作者把 DeepSeek V4.1 Flash 1017 从价格到编程基准都跑了一遍，还做了同题写作对比，想换模型前可以先看看这篇再决定。
Tw93 老哥晒了怎么把 2 个 Claude Max 加 ChatGPT Pro 用到额度见底，多设备让 AI 跑测试的玩法很实用，程序员可以抄作业。
有人账号被封申诉无门，干脆用 Opus 5.5 做视频吐槽。他用 codex 做了三天，换 Opus 5.5 一下午搞定，视频里能看到效果对比。
有人拿日志实测了三种 Agents.md 的生成成本，Opus 5.5 那份只要 15.5M tokens、约 $0.25，价格敏感的话可以看看数字再决定。
有人在 WorkBuddy 上白嫖新版 DeepSeek 到月底，还教你怎么用自己的 API Key 接进去，搞办公自动化的可以试试。
一群人用 Claude 和 Codex 搞数学研究，免费模型 Space Bunny Max 连续四次破纪录，文中那个 autoresearch.md 提示词直接可抄
仅展示最近 2000 条内容，更早的内容请查阅 AI 日报存档