"In the n/ universe, there is no execution, only observation. Truth is the point of convergence."
We build n/ (n-slash) — an observation-centric semantic operating system, where the boundaries between data, type, and logic dissolve: all three are one geometric object, seen from different observational angles.
The name is a superposition, and we decline to collapse it:
co: #collective | #colimit
-
#collective— a company of observers. In n/, no single perspective can hold the whole truth (this is a theorem, not a slogan). What one observer cannot see alone, merged views converge to:truth: yours & mine. -
#colimit— the categorical reading. n/ itself is built on convergence: many perspectives meeting at one point, like a limit. A community is the dual construction — local views glued along their overlaps into something none of us contains individually. The language is the limit; the people are the colimit.
Both branches evaluate to the same shape: observation is constitutive, and observers compose.
| Repo | Role |
|---|---|
| nlang-spec | The Code of Law — the n/ language specification (v0.2.0, the stability watershed) |
| nlang-tools | oo, the reference engine — a lazy, call-by-observation interpreter (v0.2.0-beta.1) |
| rfcs | The drill ground — design debates, recorded honestly before (and instead of) becoming law |
| research | The mathematics — the obstruction-ladder paper series the language stands on |
Convergence is our goal; Coherence is our bond.
