Featured in Domain Arrivals · 2026-08-11
Capacity Atlas, a map of unsolved channel-capacity problems
A community-maintained registry of 32 information-theory problems, their known bounds, canonical Lean statements, and research status.
Why it surfacedCapacity Atlas turns a difficult research landscape into a browsable atlas: filter by structures such as broadcast, relay, or zero-error channels, then inspect featured gaps including the binary deletion channel. It is explicitly a registry rather than a proof monorepo, linking precise statements to external machine-checked work where available.
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.