Domain Arrivals
You’re viewing the 2026-08-18 issue, not the current issue. Go to the current issue: 2026-09-11

Featured in Domain Arrivals · 2026-08-18

Proof of Done, a Manifesto for Agent-Written Software

podmanifesto.org ↗ · Developer Corner · score 84.0
○Open: public page gives enough substance to understand the site $Paid: pricing, booking, ecommerce, subscription, or paid access is visible ADAds: visible ad load or ad-supported content ✦Pretty: notable design, copy, craft, or presentation ◆Pro: polished, finished-feeling, serious, or operationally mature ◇Niche: specific audience, workflow, or unusually focused use case ◉Human: personal, local, community, civic, handmade, or real-person signal !Suspicious: scammy, spammy, trust theater, finance fog, or credibility concern

A v1.0 standard for proving that software built by coding agents is actually complete.

Why it surfaced

The manifesto argues that an agent’s final success message is not proof of progress, then proposes evidence-carrying changes, three graphs, bounded autonomy, and a formal Proof record. It includes nine cases linked to a public repository, a plain-text version, and a reference implementation.

Read the complete issue Observed source ↗

Continue into the edition

The Plotter’s 09:30 Shift

August 18’s newborn domains include an obsolete pen plotter clocking in at 09:30, emergency warnings designed for sight, touch, or hearing, a funeral-folder tool calibrated for printer drift, and photographs of Colombian rental signs turned into a housing map.

This is one of 1,000 discoveries in the 2026-08-18 Domain Arrivals issue.

Explore the complete issue Browse Developer Corner

More from Developer Corner

Three more arrivals

BlackPlastic Design blackplasticdesign.com

A board-level repair reference for Blackmagic cinema cameras, with component lookup, package maps, fault investigations, and repair-focused documentation.

 Avzi Labs: Spectrum Auctions, Games, and Useful Oddities avzilabs.com

A personal engineering site featuring spectrum-auction platforms, auction simulations, multiplayer games, data tools, writing, and live demos.

 Orbitope — Constrained Creativity orbitope.com

A collection of interactive essays, browser experiments, games, and developer tools about machine learning, game development, optimization, and generative systems.