Tag
oTAPE is an open, self-contained file format for digital cassettes, packaging two fixed-length sides of continuous audio plus labels and artwork into a single .otape file, complete with a browser-based Web Deck player and tape-sound emulation.
Wack's team launches SLCR (Sliceable, Linked, Checkable Requirements), an open format and CLI for writing software requirements that both people and coding agents can consume, aiming to prevent agents from drifting from specs in long-lived codebases.
Creusot 0.14.0 发布，这是 Rust 的形式化验证工具，新增了对偏序（partial orders）的支持以及为快照（snapshots）生成验证条件（VCs）的功能。
A discussion questioning whether the classic AI alignment concern about difficulty specifying human values to a 'genie-like' AI is outdated, arguing that modern LLMs understand the intent behind requests rather than just literal instructions.
Trail of Bits introduces SequenceHash and SequenceMAC, open-source multihashing constructions that work with any standard cryptographic hash function (SHA2, BLAKE, RIPEMD) rather than being tied to Keccak like NIST's TupleHash. The C2SP-approved spec ships with Rust, Go, and Python implementations plus test vectors, aimed at preventing ambiguous-input attacks in protocols like the Fiat-Shamir transform.
Someone created a markdown file format called soul.md to give AI agents a distinct personality, addressing generic output issues with portable specs for identity, worldview, style, and memory across models.
A case study describing how an AI coding agent dismantled a core architectural invariant across 189 files in a 717k-line codebase using a specification-first convergence methodology, with no test oracle and no human code review. The agent iteratively refined a 55-page specification and performed correction loops, fixing 201 self-identified mistakes across 31 audit loops.
Multi-agent systems can cost 15-50x more than a single agent, yet most failures stem from specification ambiguity and coordination breakdowns, not model capability. Treating handoffs as API contracts and adding explicit verification is recommended.
David Binder proposes a Revised Haskell 2010 Language Report to bring the outdated official specification in line with modern Haskell, and outlines a cost-effective plan to complete it before the new year.
The Model Context Protocol (MCP) has released a new specification with a stateless makeover designed for enterprise scale, along with a deprecation policy, aiming to ease widespread deployment.
Hillel Wayne analyzes the historical and practical barriers preventing widespread adoption of formal methods in software engineering, distinguishing between formal specification and verification across code and design domains.
An LLM developer added research and specification gates to prevent the model from implementing every method it encounters, improving code generation quality.
MCP has released a new specification version 2026-07-28 that shifts from a bidirectional stateful protocol to a stateless request/response core, improving scalability and reliability. The update includes self-describing requests, server discovery, caching hints, and authorization hardening, with updated SDKs in TypeScript, Python, Go, and C#.
This article proposes an opaque, interoperable passkey record format based on PHC strings and describes a Go API for handling them, aiming to simplify server-side passkey storage and library interoperability.
aiignore is an open specification and reference implementation for defining portable policies to control AI agents' access to files, environment variables, network, and output. The first public alpha release includes a TypeScript CLI and integrations for Codex and Gemini CLI.
Andrew Ng shares practical advice for building product specs when using AI coding agents for rapid prototyping, emphasizing that AI tokens are cheap while human tokens are valuable, and that iterating with agent-built prototypes is more efficient than upfront specification.
QUALITY.md is an open file format and CLI tool for defining and evaluating project quality, helping teams and agents align on quality standards.
This paper presents a normative specification for a data model called MMM, aimed at enabling knowledge interoperability in a decentralized knowledge commons.
The article discusses the incompatibility of AT URI syntax with standard URI/URL specifications due to placing DIDs in the authority field, and explores potential solutions and their trade-offs.
A technical specification for a robust job server tool hosted on Codeberg.