百个开源项目作者：每个新模型发布都全量重跑验证
doodlestein · x · 2026-09-15
开发者 doodlestein 回应关于用新模型做安全审计的讨论，称自己拥有 100 多个开源项目，每当有新前沿模型发布，即便耗时耗钱，也会对所有项目、不只安全维度重跑一遍测试。
他还强调了验证的重要性，并透露自己每天都在开发 FrankenLean：目标是打造一个不依赖古老、有 bug、缓慢代码库（暗指 Lean 旧版本）的形式验证系统，改用高度优化、自我纠错（cancel-correct）、内存安全的 Rust 来实现。
「编程与Agent」频道最新
- CoreSpeed 发布:一个 MCP 端点统一工具与记忆 — Kind-Atmosphere9655 · 2026-09-15
- Astra+SAM 3 组合追踪任意目标,4 次调用省 26 倍 token — deepakns · 2026-09-15
- 实测:多 agent 分工反而更慢更贵,子 agent 因传摘要变笨 — _AustinCalvert_ · 2026-09-15
- Anthropic 推出 Claude for Financial Advisors,接入嘉信理财等主流平台 — minchoi · 2026-09-15
- 2000px AI 插画放大到 10000px 印刷级，作者求不跑偏的分块放大工作流 — Joseph1749 · 2026-09-15
- vibe coding 踩坑:Agent 悄悄建 worktree 不合并,附审查与清理提示词 — dotey · 2026-09-15