Domain Arrivals
You’re viewing the 2026-08-19 issue, not the current issue. Go to the current issue: 2026-10-23

Featured in Domain Arrivals · 2026-08-19

Specula Turns System Code into Bug-Hunting Specifications

specula.info ↗ · Developer Corner · score 82.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

An open-source tool uses coding agents to generate TLA+ specifications from real system code, model-check the resulting state space, and reproduce discovered failures in the implementation.

Why it surfaced

Specula offers a concrete four-step workflow: system code becomes a formal specification, the specification is explored for concurrent behaviors, and any violation is brought back as a reproducible code failure. The homepage also provides a command-line quick start, documentation, GitHub access, and support for several coding-agent CLIs.

Read the complete issue Observed source ↗

Continue into the edition

The Song Resumes After the Story

August 19’s newborn domains include a Hawaiʻi road-trip radio that resumes each song after a GPS-triggered story, an offline Chattanooga recovery map, a 100 KiB operating system running Doom, and an archive of 169,588 Discord roleplay messages.

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

Explore the complete issue Browse Developer Corner

More from Developer Corner

Three more arrivals

Branch Predict: Doom on a 100 KiB OS branchpredict.com

Darko Jurić documents bare-metal systems work, from bootloaders and kernels to JavaScript object detection and machine-learning implementations from scratch.

 SSH Fighter: an arcade cabinet hiding inside your terminal sshfighter.com

A hand-drawn fighting game played entirely over SSH, with ranked matches, replays, character statistics, and a bot API.

 Quran Lab’s Open Quran Technology quran-lab.com

An open-source nonprofit lab building speech-recognition, tajweed decoding, and historic-audio restoration models for Quran recitation.