Law is a distributed, incrementally patched system with stable addressing requirements – the same structural pressures that produced git, and it demands a compiler.
Key Takeaways
Statutes are serialized as trees (paper is linear) but operate as graphs: cross-references, override clauses, and cross-jurisdiction dependencies create edges that ignore the hierarchy.
Amendment acts are typed operations – replace, repeal, insert, renumber, text-replace – with a target address, action, payload, and authority provenance, not plain text edits.
Law has at least two independent time axes: enactment time and legal effect time. Retroactive amendments and ultra-active repealed provisions add conditional axes; a legal state query is multi-dimensional, not a linear checkout.
The atom is not always a structural node. Text-level amendments target substrings inside leaf nodes – below the resolution of the tree – and even a word swap can reallocate statutory authority.
LawVM deliberately scopes to the text layer (what each provision literally says at a point in time) and leaves normative semantics to downstream tools built on a verified textual substrate.
Hacker News Comment Review
Commenters broadly validated the compiler framing but flagged the operation vocabulary as incomplete: sections silently move between unrelated statutes, edit conflicts apply competing amendments at the same effective date, and amendment granularity varies sharply by jurisdiction (Denmark replaces single words; Sweden replaces whole sections).
A recurring thread questioned whether law’s lack of any refactoring or regularization process is a structural property or a political failure – sunset legislation experiments in the 1970s-80s were largely abandoned, leaving accretion as the default.
Real deployed work surfaced: the Open Law Platform recently launched with the Maryland Secretary of State at regs.maryland.gov, and an Italian law parser (igsg-marker) already recognizes and applies amendments, suggesting the compiler idea has production precedents.
Notable Comments
@dgreisen: Open Law Platform shipped with Maryland SoS last month; source at github – working with official institutions, not building another unofficial fork.
@yxhuvud: Operation vocabulary misses sections moving unchanged between laws and same-date edit conflicts; amendment granularity is jurisdiction-dependent, complicating a universal VM.
@rogerrogerr: Proposes annual full-corpus restatement with a rule against rubber-stamping the prior year – a thought experiment on whether accretion is inevitable.
