标签
开放媒体联盟（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代码生成的提示：在实现规范时，保持一个运行中的实现笔记文件，记录决策、变更和权衡。
开发者 Rodrigo Arias Mallo 提议通过创建一套替代性的、简化的 HTML/Web 规范来实现 Web 的分叉，目标包括严格的语义化版本控制、正式且无歧义的语法，以及限制规范体量以促进浏览器多样性。该提议与轻量级浏览器 Dillo 项目相关联。
GitHub 上的 "spec-kit" 仓库凭借一套结构化的 6 命令工作流已积累超过 92k 星标。该工作流能将模糊的想法转化为可供 AI 编程智能体执行的规范文档，定位为无序"氛围编程"（vibe coding）的替代方案。目前支持 Claude Code、Copilot、Cursor、Codex、Gemini 及其他 25+ 款 AI 智能体。
Google 将 DESIGN.md 草案规范开源，让各智能体与工具跨项目共享设计规则。
作者描述了一种称为'Stream of Consciousness Driven Development'的技术，在结对编程中，他们在做出更改前先编写一份详细的markdown文件来探究问题和解决方案，以确保双方都完全理解其中的推理。
Hillel Wayne 宣布其著作《程序员逻辑》发布 v0.13 版本，包含大量重写和新内容，并概述了迈向印刷版的下一步计划。