Hacker GitHub

← All repos

yon-language/yon

View on GitHub ↗ ★ 27 C

An experimental language whose object system is a topos: places are pre-sheaves, values are content-addressed on the Leech lattice, and the type checker refuses to compile a false proof.

6 mentions on Hacker News by 3 people: 1 story, 5 comments · first 2026-06-05 · latest 2026-06-08

Mentions per year 6 mentions · busiest year 2026 (6)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 48
    Yon – a topos-oriented language with a content-addressed lattice heap
    story by amenn · 2026-06-05 · 80 comments