Tag
The Alliance for Open Media has released the AV2 v1.0.0 specification, a next-generation video coding standard offering superior compression efficiency for streaming, broadcasting, and real-time video conferencing.
Reed is a lightweight specification for implementing prefix authentication schemes (transparency logs) that produces shorter proofs than traditional certificate transparency logs, superseding the earlier Bamboo specification with greater efficiency and flexibility.
The MCP specification release candidate for 2026-07-28 introduces a stateless core, extensions like MCP Apps and Tasks, improved authorization, and a formal deprecation policy, enabling scalable HTTP infrastructure without sticky sessions.
The Procedural Fascicle for R7RS Large Scheme is a document that forms part of the R7RS Large standard for the Scheme programming language, intended to belong to the entire Scheme community and freely copied for use in manuals and documentation.
The MCP 2026-07-28 release candidate introduces a stateless core, extensions for server-rendered UIs and long-running tasks, improved auth, and a formal deprecation policy, simplifying deployment and scaling.
This article explores why adding assumptions to specifications or tests inherently weakens the resulting property, using logical implication and examples from formal methods and Rust. It also discusses practical reasons for using assumptions despite this weakening.
A Twitter user shares a prompt for AI code generation: when implementing a specification, keep a running implementation-notes file to document decisions, changes, and tradeoffs.
The AEP Project provides API design specifications and tooling for protobuf and HTTP REST APIs, hosted on GitHub.
Developer Rodrigo Arias Mallo proposes forking the Web by creating an alternative, simplified HTML/Web specification with goals including strict semantic versioning, a formal unambiguous grammar, and a size-constrained spec to encourage browser diversity. The proposal is linked to the lightweight Dillo browser project.
GitHub's 'spec-kit' repository has gained 92k+ stars by offering a structured 6-command workflow that transforms vague ideas into executable specifications for AI coding agents, positioning itself as an alternative to unstructured 'vibe coding'. It supports Claude Code, Copilot, Cursor, Codex, Gemini, and 25+ other AI agents.
Google open-sources DESIGN.md draft spec to let agents and tools share design rules across projects.
The author describes a technique called 'Stream of Consciousness Driven Development' where during pair programming, they write a detailed markdown file exploring a problem and solution before making changes, to ensure both partners fully understand the reasoning.
Hillel Wayne announces the v0.13 release of his book 'Logic for Programmers', with significant rewrites and new content, and outlines next steps toward a print edition.
A blog post explaining how to use refinement mappings to preserve external properties during database schema changes, using examples of migrating a boolean column to a nullable timestamp and then to event sourcing.