Axiom Foundation launches to publish law as open, verifiable code
1–10 of 20 posts
Re: Axiom Foundation launches to publish law as open, verifiable code
#2People might not know that, since it’s mostly in French, but France has somthing similar as open source for their tax system:
Re: Axiom Foundation launches to publish law as open, verifiable code
#3It's so simple. Only a fool would pick the cup given to him. Now with stderr.
Re: Axiom Foundation launches to publish law as open, verifiable code
#4Also see the german parliament’s laws repository on Github: https://github.com/bundestag/gesetze
Re: Axiom Foundation launches to publish law as open, verifiable code
#5> Encoded
> One source of truth
Oh dear. The one source of truth is the statute.
Re: Axiom Foundation launches to publish law as open, verifiable code
#6People 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/
Nice, the french also are at the frontier of law-computing i'd say see Catala Lang [1]
Re: Axiom Foundation launches to publish law as open, verifiable code
#7> Encoded > One source of truth Oh dear. The one source of truth is the statute .
The act, really; the codified statutory law is an artifact built on top of the various acts passed into law.
Re: Axiom Foundation launches to publish law as open, verifiable code
#8Re: Axiom Foundation launches to publish law as open, verifiable code
#9Interesting but there are many laws worldwide that are ambiguous or subjective, hence the reason why lawyers exist.
Re: Axiom Foundation launches to publish law as open, verifiable code
#10Great! Now I just have to mechanically convert it to TLA+ and the verification results are hopefully exploitable business ideas.