标签
本文提出了一种基于PHC字符串的不透明、可互操作的通行密钥记录格式，并描述了一个用于处理这些记录的Go API，旨在简化服务器端通行密钥存储和库之间的互操作性。
aiignore 是一个开放规范与参考实现，用于定义可移植策略，以控制 AI 代理对文件、环境变量、网络及输出的访问。首个公开 alpha 版本包含一个 TypeScript CLI，并已集成 Codex 与 Gemini CLI。
Andrew Ng分享了在使用AI编码代理进行快速原型开发时构建产品规格的实用建议，强调AI令牌成本低而人类令牌价值高，并且通过代理构建的原型进行迭代比预先规范更高效。
QUALITY.md 是一种开放的文件格式和命令行工具，用于定义和评估项目质量，帮助团队和代理在质量标准上保持一致。
本文提出了一种名为MMM的数据模型的规范性规范，旨在实现去中心化知识公域中的知识互操作性。
本文讨论了 AT URI 语法因将 DID 放在 authority 字段而导致与标准 URI/URL 规范不兼容的问题，并探讨了潜在的解决方案及其权衡。
x86生态系统咨询小组发布了AI计算扩展（ACE）规范，该规范定义了新的x86指令和寄存器状态，用于加速机器学习工作负载中的矩阵乘法和低精度数据格式。
智能体资源发现规范（ARD）定义了一项标准，使AI客户端能够动态发现外部能力（如工具、MCP服务器、API及其他智能体），从而实现超越静态知识的无缝集成。
谷歌发布了开放知识格式（Open Knowledge Format），这是一个基于Karpathy的llm-wiki的规范，使用Markdown文件实现可移植的知识表示，将人类编写的知识与智能体消费解耦。
这篇文章宣布了WASI 0.3的发布，该版本通过组件模型将异步原语原生集成到WebAssembly组件中，简化了API并实现了更好的组件组合。
Google引入了DESIGN.md，这是一种格式规范，将YAML前端设计令牌与Markdown散文相结合，为编码代理提供对设计系统的结构化理解。
一篇博客文章，详细描述了一种开发流程，该流程使用专门的AI子代理在实施前系统性地评审和改进规范，旨在通过自动化质疑和多角度视角重建对AI辅助编码的信任。
开放媒体联盟（Alliance for Open Media）发布了 AV2 v1.0.0 规范，这是一种新一代视频编码标准，为流媒体、广播和实时视频会议提供卓越的压缩效率。
Reed是一种轻量级规范，用于实现前缀认证方案（透明度日志），产生的证明比传统的证书透明度日志更短，取代了早期的Bamboo规范，效率更高、灵活性更强。
2026-07-28 的 MCP 规范发布候选版引入了无状态核心、MCP Apps 和 Tasks 等扩展、改进的授权机制以及正式的弃用策略，从而支持无需粘性会话的可扩展 HTTP 基础设施。
R7RS Large Scheme 的过程分册是 Scheme 编程语言的 R7RS Large 标准的一部分，旨在属于整个 Scheme 社区，并可自由复制用于手册和文档中。
MCP 2026-07-28的候选版本引入了无状态核心、用于服务端渲染UI和长时间运行任务的扩展、改进的身份验证以及正式的弃用策略，简化了部署和扩展。
本文探讨了为什么在规范或测试中添加假设会从逻辑上弱化所得性质，使用了逻辑蕴含以及来自形式化方法和 Rust 的示例。此外，还讨论了尽管存在这种弱化，仍使用假设的实际原因。
一位Twitter用户分享了一个用于AI代码生成的提示：在实现规范时，保持一个运行中的实现笔记文件，记录决策、变更和权衡。