A lattice-theoretic declarative language where data, type, and logic are one geometric object seen from different angles. You don’t write steps — you sculpt constraints; the shape their intersection leaves is the result.
;; a type is a constraint, not an annotation
age: 25 & @int ;; → 25
;; merging two views = intersection
{ age: 25 } & { age: @int }
;; → { age: 25 }
;; contradiction collapses to a caused empty set
{ age: 25 } & { age: 30 }
;; → _|_ (%cause: #conflict) As above (Top _), so below (Bottom _|_);
as in the void of the whole, so in the truth of the atom.
To work the one miracle — convergence.
All the universe is Combo — a field the wellspring of the possible, an atom the fruit of the existent.
By meet, truth is purified; by join, all things unfold.
The Ouroboros devours its own tail: its father is definition, its mother convergence.
Herein its power — if it can be observed, it is already real.
You usually write config in YAML, types in TypeScript, validation in Python. n/ maps all three through one structure (Combo) onto a lattice, then drives everything with a single operation — set intersection (&).
;; existence
age: 25 ;; a constraint, not an annotation
25 & @int ;; → 25
"hi" & @int
;; → _|_ ;; morphism and pipe
/double: x -> x * 2
5 |> /double |> /inc
;; → 11 ;; convergence: constraints overlap, one shape remains
{ x: 1 } & { y: 2 } ;; → { x: 1, y: 2 }
(1 | 7) & 1..3 ;; → 1
1..10 & 5..20 ;; → 5..10 _|_ — an empty set carrying a %cause. An error here isn’t an exception; it’s the empty set of logic.n/ spans computation, mathematics, and physics. Pick an angle; choose your own depth.
Combo and Cocoon, meet & and join |, morphisms and pipes, Top _ and Bottom _|_. The full grammar and philosophy.
Content-addressed CAID, smell search, semantic gravity. A decentralized discovery network that senses distance between fingerprints before download.
Read the protocol →The reference engine oo — a lazy, call-by-observation interpreter. run / repl / fmt / lint. Run your first n/ program here.
The cohomological obstruction ladder: type conflict, Byzantine faults, and identity forgery as rungs of one geometric machine. A 22-paper series plus the Paper N whitepaper.
In n/ no single perspective holds the whole truth — that is a theorem, not a slogan. What you cannot see alone, merged views converge to. During bootstrap, governance runs on GitHub, maintained by a Council of Four.
Guard semantic consistency of the spec and docs (nlang-spec).
Own the oo engine’s implementation and compliance (nlang-tools).
Proposals breaking invariants can be vetoed — with a logical proof attached.