Mmastodon TechnologySoftware first seen 2 h ago, last 2 h ago, peak #10
Catala and Arxo: Law as Code, Two Languages Agree
Original: Two independent formalizations of the same regulation, written in two different languages, agreed on... # programming #
Two independently developed programming languages for encoding legislation — Catala and Arxo — were used to formalize the same regulation, and the resulting implementations agreed on their outputs. The comparison is being discussed as evidence that 'law as code' approaches can produce consistent, verifiable interpretations of legal texts across different tools, languages, and development teams.
Why now: The demonstration that independent formalizations of law produce consistent results is a notable validation for the legal-code movement.
Evidence
- Two independent formalizations of the same regulation, written in two different languages, agreed on... # programming # dsl # architecture # opensource # software # coding # development # engineering # inclusive # community Law as Function, Law as Data: What Catala and Arxo… · hackaday@www.urbanmind.net · 3
API: https://socialmediatrends-api.osmike.com/v1/trends/1272096