Tag
A technical specification for a robust job server tool hosted on Codeberg.
The x86 Ecosystem Advisory Group has published the AI Compute Extensions (ACE) specification, defining new x86 instructions and register state for accelerating matrix multiplication and reduced precision data formats in machine learning workloads.
The Agentic Resource Discovery Specification (ARD) defines a standard for AI clients to dynamically discover external capabilities such as tools, MCP servers, APIs, and other agents, enabling seamless integration beyond static knowledge.
Google has released the Open Knowledge Format, a specification based on Karpathy's llm-wiki, using markdown files for portable knowledge representation, decoupling human-written knowledge from agent consumption.
The article announces the launch of WASI 0.3, which integrates async primitives natively into WebAssembly components via the Component Model, simplifying APIs and enabling better component composition.
Google introduces DESIGN.md, a format specification that combines YAML front matter design tokens with Markdown prose to give coding agents a structured understanding of a design system.
A blog post detailing a development process that uses specialized AI subagents to systematically critique and improve specifications before implementation, aiming to rebuild trust in AI-assisted coding through automated doubt and multiple perspectives.
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.