#Ai

25 篇文章

Superpowers、BMAD、SpecKit、OpenSpec、GSD —— 170000+ GitHub Star 背后的五种思路，到底各自解决了什么问题，又各自留下了什么坑。

真正的问题是「Sub-Agents和Agent Teams到底怎么选」。大多数人在任务复杂时立刻想到多Agent系统，但这往往是错误的起点。理解这个问题的答案，能帮你省下大量返工时间。

OpenAI 发布 Codex Plugin for Claude Code，让你在 Claude Code 里直接呼叫 Codex 执行跨模型代码审查。本文介绍三个指令的用法、安装流程，与官方文档的定价和用量说明。

Armin Ronacher 谈 AI 时代软件开发：为什么 50 年前的橡树无法被批量生产，以及为什么真正重要的东西都需要时间。

花了 3 小时看官方文档，有些话不吐不快。Forge 想把微调变成一条龙服务，企业只需要喂数据，剩下的它全包。但门槛到底降到了什么程度？谁也不知道。

Mistral AI 发布首个开源 Lean 4 代码代理 Leanstral，让 AI 既能写代码又能自证正确性。这次我们聊聊形式化验证和 AI 编程的那些事儿。

文学编程提出40年却始终是小众玩具？AI Agent 的出现彻底改变了游戏规则——它们可以替我们维护那套令人崩溃的平行叙事。

一款让 Claude Code、Codex 等 AI 代理安全运行在沙箱中的 macOS 工具，彻底杜绝误删文件、泄露密钥等安全隐患。

Andrej Karpathy 又双叒叕搞事情了！这次他用 200 行纯 Python 代码实现了一个可训练、可推理的 GPT模型，没有任何依赖库。这可能是史上最简洁的大语言模型实现。

Claude搜索检索入门：用API让AI搜索Wikipedia、抓取网页内容、搭建个人知识库。附WikipediaSearchTool完整代码示例，5分钟实现AI信息检索能力。