Featured in Domain Arrivals · 2026-08-11
quplane: results with their own proof
A proof-carrying optimization platform that gates solvers against reference implementations and returns results with status, diagnostics, certificates, and provenance.
Why it surfacedquplane makes a sharp engineering argument: a number on a screen is not the same thing as a verified result. Its 97 listed solvers fingerprint inputs, require a gate to pass before becoming callable, and include a QPLIB example where the maintainer independently verified an improved objective value.
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.