AI 情报文章归档

pstack v0.15.27 发布新技能 /create-formal-verification-skill，目前仍处 beta。该元技能可根据想验证的特性生成新技能与形式化验证套件，例如用 TLA+ 建模状态机与并发系统，或用 Rust 的 kani 检查未定义行为。作者用它以 TLA+ 建模自家代码，已发现多个 bug。

Claude Code's Edit refuses a duplicate match; Codex's apply_patch and Aider's SEARCH/REPLACE take the first one. How each edit protocol fails.

鉴于 Anthropic 所报告的编程能力加速，令人惊讶的是，你在 Claude 中仍然无法更改自己的电子邮箱地址，而官方建议是：如果你需要更改邮箱，唯一的办法就是删除你的账户。

❔ Contexte Avant de me lancer de l'organisation du HackAVP : 🏆 #HackAVP, premier...

值得你花时间关注和思考。

Anthropic 宣布设立公司全资持有的公益基金，承诺投入 5% 股份，公司估值每增长 50% 可追加 2%。基金可用于向传统非营利组织大额捐赠或直接向特定人群发放，Anthropic 此前已投入 2 亿美元研究 AI 对就业市场的影响。结构和治理细节将在未来几个月公布。

Grok @Bot 就像雇了一位极其能干的员工

xAI 的 Lauren Tan 就"聊天是否是智能体 UI 的最终形态"发起讨论，认为存在两种立场：一派把智能体视为自身心智的延伸（赛博格式），另一派视其为能独立决策、与人类协作的人工存在。

GitHub doesn't count your approval on a PR you asked Copilot to write. On a laptop, you prompt, review and merge alone. Make agent work land as a reviewed PR.

This is a submission for the Hacktoberfest Open-Source AI Challenge: Week 2 — Side Hustle. ...

终于有机会试用了 OpenAI 的新 "Aurora" 图像模型，目前正在 Arena 上测试。 绿色 🟢 > 红色 🔴 > 生成的图像感觉像是 Nano Banana 和 GPT Image 模型联手打造的作品。 > Aurora 的输出比 gpt-image-2.5-flare 好得多，尤其是在配色方案上。 Nano Bana 3 Pro 将面临激烈竞争。

Arena 宣布 DeepSeek-V4.1-Flash-20261017 (Max) 成为 Code Arena: WebDev 榜单第一开源模型，超过 Kimi K3 (Max)，成本低约 10 倍。

Quick confession. Last Sunday I opened dev.to and my brain made a tiny error noise. 😵 Opus against...

阶跃星辰 Step 5 Preview 权重已发布，并与 Together Compute 于 10 月 22 日（周四）在旧金山举办 Step 5 Preview 发布夜暨 AI 创始人聚会。

费城女子 Carolyn Marvin 因阻挡 Uber 配送机器人通行、拒绝让路，被警方以扰乱治安罪名逮捕。她称此举是为抗议机器人取代人类配送员工作，相关视频已引发广泛关注。配送机器人已在费城市中心街头常见，并招致反弹。

TinyFish 将 Search 与 Fetch 的检索费用降为零，限额为搜索 30 次/分钟、500 次/小时，抓取 150 个 URL/分钟、1,000 个/天。

Ethan Mollick 转发 The Information 报道称，更强模型不再必然带来更多使用，10 点智能优势换来的开发者流量从 2025 年底的近 69% 降至约 20%。他补充判断，开发者在总 token 用量中的占比将随时间缩小，而在验证较难领域的长时高价值任务上，更高智能模型的收益依然很大。

This is a submission for the Hacktoberfest Open-Source AI Challenge Week 2: Side Hustle ...

我回来继续做我的游戏副业项目了，现在我对主题有了信心，想重新审视实际的玩法和核心钩子是什么。 是 1v1、3v3 还是单人？如果你能 vibe code 自己的角色呢？

明天正午。

This is a submission for the Hacktoberfest Open-Source AI Challenge Week 2: Side Hustle ...

试试 Grok @Bot

Hacktoberfest Open-Source AI Challenge Week 2: Side Hustle 🌱 This is a submission for the...

谁来评测那些评测者？ 一个好的评测是： - 短暂的。它只截取某一时刻的状态与能力。 - 有依据的。它直接衡量你关心的任务和数据上的表现。 - 具体的。它针对的是期望结果本身，而不是其某种代理指标。 记好了！

A supplier corrects an allergen declaration. Two delivered cocoa lots contained an undeclared milk...

The first architecture diagram showed the parts of TDK CLI. This one shows time: what happens, in...

永远不会删除这个应用。

Deployment is where a local app meets reality. Most first deploys fail on something that was true on...

Draft test body

Open-source maintainers have always had too much to do. The new problem is volume that costs nothing...

Vibe coding gets you to a working demo quickly. The problems arrive after that: a leaked key, a...

Move LLM calls into a BullMQ queue: idempotent jobs, Retry-After aware backoff, rate limits, Zod-validated output and a dead-letter queue.

Elon Musk 转发 @BrianRoemmele 演示的 Grok Bot，它能用 Grok 语音打电话订餐厅：自行查找餐厅号码、确认时间姓名和回电号码、复述信息待确认后再拨号。通话结束后用英文汇报结果并引用餐厅原话，可写入日历或提供 Apple Calendar 文件；Bot 接入 ClawCall 免费额度（30 次通话或 30 分钟），内置不提供信用卡信息、不主动致电等护栏，并开放共享链接 https://x.ai/bot/TIMrxLJHbEEpdr25yYg…

This is a submission for the Hacktoberfest Open-Source AI Challenge Week 2: Side Hustle ...

A new Git hook pauses your push and quizzes you on your AI's code before shipping. The HN debate proves it sits exactly where the taxonomy predicts — Level 1, visible and bypassable — and the detail everyone missed is that the bypasses are…

2026年90%的软件工程： 工程师1 → AI：“构建这个并开一个PR” 工程师1 → 工程师2：“你能审查一下吗？” 工程师2 → AI：“审查这个PR” 工程师2 → 工程师1：“LGTM” 讽刺的是：两个工程师用的是完全相同的AI模型。

标签页太多。市场噪音太大。 把富途连接到 WorkBuddy，让你的投资组合进入对话。询问你的持仓、深入分析财报、探索估值假设，并在一个地方比较不同情景。 少切换。多思考。

Ethan Mollick 转发并评论一份汇总：Delta 阻止 AI Agent 订机票，JPMorgan Chase 和 Charles Schwab 阻止 Agent 访问账户，Yelp 要求 Agent 付费数据授权，Amazon 已屏蔽 Grok bot 等购物 Agent。他认为在 AI 能代替用户操作电脑的时代，这种封锁并不是很稳妥的策略。

Character.AI 本周申请破产后，法律文件披露 Disney 同意向至少 60 名员工发出录用邀请，占其大部分团队，年薪总额约 6000 万美元，且绝大多数受邀员工已接受。

Hugging Face 联创 Thomas Wolf 用 napkin math 估算，Meta、NVIDIA、阿里、DeepSeek、Moonshot、Mistral 等约 35 家机构已在 Hugging Face Hub 免费共享价值近 $1B 的训练算力（按当前 GPU 租用价折算），而 2023 年底这一数字还不到 $40M。估算基于 72 个模型家族的官方算力数字加推断，未计入约 90 万个社区微调，并附可探索数据页面。