BlaBla 开源：可执行项目记忆让 agent 续接成本降 63%
KiborgikDEV · reddit · 2026-09-15
开发者开源了 BlaBla，一个 MIT 协议的 Rust CLI，把项目意图从 agent 的聊天上下文中抽离为可执行的「契约」。- 两层结构：behavior.bla 描述可观察状态、动作、后置条件与不变式，验证器会生成动作序列、追踪语义覆盖并把失败收缩为可复现的反例；structure.bla 描述静态代码约束（必需/禁止符号、依赖、模块）- 工作流只有 status / explain / edit / finish 四步，finish 仅在项目整体 GREEN 时才退出成功；专门设计了 YELLOW 状态——因为早期实验中执行数千动作仍可能漏掉可达状态，「未观察到失败」不能算成功- 对比实验：4 个全新 Haiku 会话分四阶段扩展同一 Python 项目，用完整 prose、人工摘要、BlaBla 记忆三种方式传递意图，结果行为全对，但架构约束只有 prose 和 BlaBla 通过；BlaBla 输入 token 2.51M（prose 8.55M）、成本 $0.62（prose $1.78）、turns 91（prose 181），降幅约 63%作者强调这只是单一模型、合成项目的观察结果，欢迎复现和找 false-GREEN 案例。当前局限：启发式行为验证非形式化证明、结构 provider 仅支持 Python。
「编程与Agent」频道最新
- Benzi 上线：贴个 GitHub 链接即可在线对话任意代码仓库 — DonkeyTheKing · 2026-09-15
- 蚂蚁 Ling 携手 Hugging Face 与 NVIDIA 办本地 AI 助手实战专场 — heyneighbor · 2026-09-15
- 两周经验浓缩成开源 Skill,一句话让 Codex 开发并上架 Obsidian 插件 — vista8 · 2026-09-15
- 腾讯微信团队开源 WeKnora:企业知识库 RAG 平台斩获 2.3 万 Star — yangyi · 2026-09-15
- 开发者自建本地编排层 Taskuary,给多个编码 agent 共享任务队列 — Appropriate-Path-461 · 2026-09-15
- Plane 展示企业级 Agent 平台四项产品差异 — JosephJacks_ · 2026-09-15