标签
SOML（Sindre's Objectively Marvelous Language）是一种新的开源配置格式，兼具 JSON 的严格性和类似 YAML 的易用性：顶层无需大括号或引号、任意位置均可添加注释、基于语法的类型推断、原生支持日期/时间点/时长，并提供唯一的规范形式及配套的一致性测试套件。目前该规范仍为草案阶段，正在征集反馈。
本文提出将智能体运行框架分解为八个功能组件，并提出一套可移植、带版本管理的规范框架，用于记录哪个模型在哪个运行框架中运行，以解决现有模型卡和智能体卡未涵盖的评分波动问题及攻击面文档缺漏。
oTAPE 是一种开放、自包含的数字磁带文件格式，可将两段等长的连续音频以及标签和封面打包为单个 .otape 文件，并配有基于浏览器的 Web Deck 播放器和磁带音效模拟。
Wack 的团队发布了 SLCR（可切片、可链接、可校验的需求），这是一个开放格式和命令行工具，用于编写人类和编码智能体都能消费的软件需求，旨在防止智能体在长期维护的代码库中偏离规格。
Creusot 0.14.0 发布，这是 Rust 的形式化验证工具，新增了对偏序（partial orders）的支持以及为快照（snapshots）生成验证条件（VCs）的功能。
一场讨论质疑经典的 AI 对齐担忧是否已经过时：这种担忧认为，很难向“精灵般”的 AI 明确描述人类价值观；而讨论中的观点认为，现代大语言模型能够理解请求背后的意图，而不只是字面上的指令。
Trail of Bits 推出了 SequenceHash 和 SequenceMAC，这是一套开源的多重哈希（multihashing）构造方案，可与任何标准密码学哈希函数（SHA2、BLAKE、RIPEMD）配合使用，而不像 NIST 的 TupleHash 那样仅绑定于 Keccak。该规范已获 C2SP 批准，并随附 Rust、Go 和 Python 实现以及测试向量，旨在防止 Fiat-Shamir 变换等协议中因输入歧义而引发的攻击。
有人创建了一个名为soul.md的markdown文件格式，为AI代理赋予独特的个性，通过可移植的规格定义身份、世界观、风格和记忆，以解决跨模型的通用输出问题。
一项案例研究，描述 AI 编码代理如何采用规范优先的收敛方法，在无测试预言、无人工代码审查的情况下，拆除 717k 行代码库中横跨 189 个文件的核心架构不变量。该代理迭代完善了一份 55 页的规范，并执行修正循环，在 31 轮审计中修复了 201 个自我识别的问题。
多智能体系统的成本可能是单个智能体的15–50倍，但大多数失败源于规格模糊和协调崩溃，而非模型能力。建议将交接视为API契约，并增加明确的验证。
David Binder提出了一份修订版Haskell 2010语言报告，以使过时的官方规范与现代Haskell保持一致，并概述了一个在年底前完成该报告的经济高效计划。
Hillel Wayne 分析了阻碍形式化方法在软件工程中广泛采用的历史和实践障碍，区分了在代码和设计领域中的形式化规范与验证。
一位LLM开发者添加了研究和规范门控，以防止模型实现它遇到的每个方法，从而提高了代码生成质量。
MCP 发布了新的规范版本 2026-07-28，从双向有状态协议转变为无状态的请求/响应核心，提升了可扩展性和可靠性。更新内容包括自描述请求、服务器发现、缓存提示和授权增强，并更新了 TypeScript、Python、Go 和 C# 的 SDK。
本文提出了一种基于PHC字符串的不透明、可互操作的通行密钥记录格式，并描述了一个用于处理这些记录的Go API，旨在简化服务器端通行密钥存储和库之间的互操作性。
aiignore 是一个开放规范与参考实现，用于定义可移植策略，以控制 AI 代理对文件、环境变量、网络及输出的访问。首个公开 alpha 版本包含一个 TypeScript CLI，并已集成 Codex 与 Gemini CLI。
Andrew Ng分享了在使用AI编码代理进行快速原型开发时构建产品规格的实用建议，强调AI令牌成本低而人类令牌价值高，并且通过代理构建的原型进行迭代比预先规范更高效。
QUALITY.md 是一种开放的文件格式和命令行工具，用于定义和评估项目质量，帮助团队和代理在质量标准上保持一致。
本文提出了一种名为MMM的数据模型的规范性规范，旨在实现去中心化知识公域中的知识互操作性。