Axiom Foundation launches to publish law as open, verifiable code

niemandhier

People might not know that, since it’s mostly in French, but France has somthing similar as open source for their tax system: https://github.com/openfisca/openfisca-france/

effnorwood

It's so simple. Only a fool would pick the cup given to him. Now with stderr.

solarkraft

Also see the german parliament’s laws repository on Github: https://github.com/bundestag/gesetze

chrisjj

> Encoded > One source of truth Oh dear. The one source of truth is the statute .

alightsoul

Interesting but there are many laws worldwide that are ambiguous or subjective, hence the reason why lawyers exist.

kelseyfrog

Great! Now I just have to mechanically convert it to TLA+ and the verification results are hopefully exploitable business ideas.

codedokode

It is going to be a difficult task. I looked through examples, and it seems that what they do is represent conditions set out in the law as a boolean expression that answers the question whether something is allowed or not (X is allowed if Y, Z and not W), and display it as a graph/AST. The problem though that the inputs to this expression are answers to non-trivial questions, like "Excudable Educational Assistance" or "Has Felony Drug Conviction" without specifying what exactly is considered a "drug conviction".