AArxoinarxo.hashnode.dev·2h ago · 13 min readLaw as Function, Law as Data: What Catala and Arxo Compute When They Read the Same RegulationTwo independent formalizations of the same regulation, written in two different languages, agreed on every one of 65 reference cases and 240 randomly generated ones. That result is the starting point 00
AArxoinarxo.hashnode.dev·2h ago · 10 min readWhat Is Rules as Code, With a Runnable ExampleRules as Code publishes a rule in a form a machine can execute, next to the text a person reads. Here is the definition, where the idea comes from, and a limitation period you can compute yourself. Ru00
AArxoinarxo.hashnode.dev·2h ago · 9 min readThe Law Has Unit TestsA test of a statute looks like a test of code, with three differences: silence is a passing result, a test can expect a question instead of an answer, and every test carries a date. Here is a test. If00
