Research
Law as executable code, with research into syntax, audits, and compilation.
Philosophy of Futuruna
Partitioned syntax: how seven front runes create independent grammatical namespaces and support many paradigms without syntactic clutter.
Danmarks Riges Grundlov
En kildefast kodeudgave med den officielle ordlyd før den tilhørende domæne- og regelmodel i Futuruna.
Prøvning af grundlovsmodellen
Tekstnære kontroller, grænseanalyser og navngivne fortolkningsspørgsmål med spor tilbage til de regler, som hvert fund bygger på.
Personskatteloven
Et dansk overblik over Personskatteloven som eksekverbar Futuruna: lovtekst, regelkaskader, beregningseksempel og audits der kan finde hårde skatteforhold.
Jeg fandt 490 tilfælde, hvor én ekstra krone gjorde dig fattigere
Et kort Futuruna-program stiller 490 spørgsmål til den samme skattelov. Alle 490 gange gik beløbet efter skat ned.
The United States Constitution
All 7 Articles of the US Constitution encoded in Futuruna. Electoral college, enumerated powers, separation of powers, and 65 cross-file verification proofs. ~1,200 lines.
Invisible Ownership
76 adversarial patterns — self-referential structs, arena allocators, intrusive linked lists, async state machines — all compiling to valid Rust with zero ownership annotations. The inference algorithm, honest limits, and three bugs discovered.