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

Featured in Domain Arrivals · 2026-08-07

Kan, the Programming Language That Fills the Gaps

kan-lang.org ↗ · 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

Kan is a dependently typed programming language built around completing partial diagrams, with total pattern matching and native-code compilation.

Why it surfaced

This is not just another language landing page: Kan treats composition, limits, colimits, and related constructions as different kinds of diagram-filling. The homepage pairs that ambitious category-theoretic thesis with concrete examples of recursion, proofs-as-types, arbitrary-precision integers, documentation, and a command to compile a native binary.

Read the complete issue Visit the observed site ↗

Continue into the edition

A File Musicians Can Argue With

August 7’s newborn domains include editable orchestral scores with up to 33 staves, 15 years of Valencia council interventions, a dementia-friendly frame with one optional button, and a memorial golf tournament whose winner wears the Meatball Jacket.

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

Explore the complete issue Browse Developer Corner

More from Developer Corner

Three more arrivals

The Minecraft lighting rig with a real DMX desk dumann089.com

A documented tribute to dumann089, creator of Theatrical: Extra Lights, a Minecraft addon that controls stage fixtures, lasers, pyrotechnics, and other effects through real DMX and Art-Net workflows.

 34B.NINJA: A Browser Workbench for the DEF CON 34 Badge 34b.ninja

A browser-based tool for cropping and dithering badge art, sending it over USB, and programming BIO binaries and SAO pin settings from a phone or desktop.

 Railing audits React accessibility in public railing.dev

Railing tests React component libraries for keyboard and screen-reader conformance against the W3C ARIA Authoring Practices Guide.