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

Featured in Domain Arrivals · 2026-08-11

uuidna: The 64-bit Quantum Analog

uuidna.net ↗ · 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 content-addressed identity project built from 732 Lean 4 theorems and folded into one recomputable receipt.

Why it surfaced

uuidna presents a strikingly specific engineering premise: a human “quantum analog” simulated on 64-bit hardware, with proofs verified by `decide` in Lean 4 and no `sorry` shortcuts. Its theorem ledger spans 34 computing principles and links the public site to an npm package, GitHub repository, and reproducible verification command.

Read the complete issue Visit the observed site ↗

Continue into the edition

Lunch Through the Bee Veil

August 11’s newborn domains include a bee veil with a lockable lunch flap, a book designed to unfold over ten years, a Colombian missing-person and aid board, and a brick studio made by a dad and his 10-year-old co-founder.

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

Explore the complete issue Browse Developer Corner

More from Developer Corner

Three more arrivals

Vilanel: a game engine built from scratch vilanel.com

Vilanel is a C++ 3D game engine for Vulkan, with its own renderer, dockable editor, node graph, physics, animation, audio, and asset pipeline.

 Vishal Tharu’s Security Portfolio cyberrex.dev

A security engineer’s working portfolio, spanning a self-hosted SIEM, CTF platforms, browser-based teaching tools, and smaller technical experiments.

 quplane: results with their own proof quplane.com

A proof-carrying optimization platform that gates solvers against reference implementations and returns results with status, diagnostics, certificates, and provenance.