26 stories tagged with #specification, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Specification"
NL-PAC: Specification Ambiguity and Certified Minimax Risk Floors in LLM-Mediated Supervision
Large language models increasingly provide labels, evaluations, and feedback for tasks specified in natural language. When a specification admits multiple readings but the supervis…
Show HN: 3GPP Spec Manager – A GUI app to track and download 3GPP specifications
A simple GUI downloader to track and download LTE, 5G NR, and 6G specifications. - chsung/3gpp-spec-manager…
The Website Specification
A platform-agnostic, full specification of the technical features a good website should have. Built in the open under an MIT licence.…
The AV2 Video Standard Has Released (Final v1.0 Specification)
NNSI Architecture – Standalone Neuromorphic memory chip specification (v0.1)
A collaborative AI workspace, built on your company context. Build and orchestrate agents right alongside your team's projects, meetings, and connected apps.…
The Working Specification
From the Moon landing to NVIDIA: Absorbing Ambiguity to Drive Breakthroughs…
The Website Specification
HOTPOT-Evolvable Agent Specification Framework
With coding agents, specs feel more like source code
How coding agents changed the way I think about source code, specs, PRDs, and the developer's role in building software.…
How to use the Specification Pattern to Clean Up Query Logic in C#, .NET
The Problem I was building a content management platform with a .NET 9 backend. The...…
Beyond Recall: Behavioral Specification as Interpretive Layer for AI
Recall is one part of memory. Interpretation is what makes it actionable. A study of behavioral specifications across 14 autobiographies and 5 memory systems.…
BODHI: Precise OS Kernel Specification Inference
The formal verification of operating system kernels requires precise specifications that capture the intended behavior of system calls. Writing these specifications manually demand…
How Well Do Models Follow Their Constitutions?
Frontier AI developers now train models against long written behavioral specifications, such as Anthropic's constitution (Anthropic, 2025a) and OpenAI's Model Spec (OpenAI, 2025a),…
Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications
The widespread integration of Large Language Models (LLMs) necessitates rigorous and systematic safety evaluation. Existing paradigms either rely on constructed benchmarks to asses…
The Deterministic Horizon: Impossibility Results as Design Specifications for Trustworthy AI Systems
Large language models now write software, draft legal documents, and produce clinical notes, yet fundamental limits, from Turing and Arrow to the No Free Lunch theorems, shape what…
Cisco Foundry Security Spec: Open specification for agentic security evaluation
An open specification for agentic AI security evaluation and testing, from Cisco. - CiscoDevNet/foundry-security-spec…
Suggest A Distro Based On My Specifications and Needs
ARCHITECTURE SPECIFICATION & FORMAL SYSTEM REPORT: k501-AIONARC
ARCHITECTURE SPECIFICATION & FORMAL SYSTEM REPORT: k501-AIONARC Document ID:...…
Spec-Driven Development: Everything Old Is New Again
Software engineering as we know it is being replaced. Not by AI. By specs. Entire teams will be replaced by "Given... When... Then... | claude". But this isn't new - we tried it wi…
AIMF – An open file format specification for AI-native media
Contribute to ai-mf/media-engine development by creating an account on GitHub.…
This prompt Turns Self-Analysis into Technical Specifications
Evolving specs (2025)
Using the spec kit I create a spec and implement it. What is the process when I now have a change request. Spec driven development would seem to indicate that the spec is the sourc…
NYSE: Daily TAQ Client Specifications [pdf]
Domain Knowledge Is the Leverage
An introduction to TLA+ and its use in parties (2023)
TLA+ is a system for modeling all possible states of a system. On this model, you can then verify certain properties of this system. Smart people can use this to check that their t…
Specification-Driven Development framework for agent-native development
SpecDD is a Specification-Driven Development framework that enables humans and AI agents to build better software…