Tag: Coding Agents
All the articles with the tag "Coding Agents".
-
Leanstral 在做什么：给 vibe coding 加上可验证性
Published: at 01:40 AMMistral 发布的 Leanstral，最值得注意的不是它又做了一个面向 Lean 4 的模型，而是它把 coding agent 的一个根问题说得很直白：在高风险场景里，真正拖慢速度的已经不是生成，而是人工验证。Leanstral 的野心，是把“能写”往“能证明”推进一步。
-
Context Hub 想解决的，不是搜索不到文档，而是 agent 老是忘
Published: at 10:59 PMAndrew Ng 这个 Context Hub 项目最有意思的地方，不是又做了一个 API 文档搜索 CLI，而是它把 agent 用文档时最烦的两个问题摆到了台面上：第一，模型会拿过期、零碎、噪声很大的资料瞎写；第二，它即使这次踩过坑，下次也很可能重新踩。Context Hub 的思路，是把文档做成可检查、可版本化、可按语言获取、还能附带本地注释与全局反馈的上下文层。
-
为什么 1M context 对 agent 工作流是件大事
Published: at 01:33 AM这篇文章最值得看的，不是“100 万 token 很大”这种数字震撼，而是它把一个更实际的问题说清楚了：长上下文真正改变的，不是聊天时能一次塞更多材料，而是 coding agent 在长任务里更不容易失忆，不必频繁压缩上下文，也更有机会把复杂项目、长链路推理和多文档交叉理解一路做到底。真正重要的不是窗口标称值，而是窗口拉长以后模型会不会开始 context rot，以及价格有没有贵到只剩 demo 能用。
-
Agentic engineering 为什么离不开代码执行回路
Published: at 12:48 AMSimon Willison 这篇文章最值得记住的，不是又给 AI 起了一个新名字，而是把一个经常被说虚的概念说实了：所谓 agentic engineering，说到底就是让会写代码的模型还能自己跑代码、调工具、看结果，然后继续迭代。真正的分水岭不在提示词更花，而在软件开发终于接上了可执行、可验证的反馈回路。