catala

funnily enough, the relation comes from a french jurist's last name from their repo: https://github.com/CatalaLang/catala > The language is named after Pierre Catala, a professor of law who pionneered the French legaltech by creating a computer database of law cases, Juris-Data.

https://github.com/CatalaLang/catala#readme is the most famous one I know of, and https://github.com/CatalaLang/catleg is an integration with the French legal code. https://catleg.readthedocs.io/en/latest/cli_reference.html#c... gives an example URL that has unfortunately link rotted but wayback has it https://web.archive.org/web/20240721045507/https://www.legif... I am pretty sure there are several more but that's the one I can recall. It has been discussed here periodically https://news.ycombinator.com/from?site=github.com/catalalang (and https://news.ycombinator.com/from?site=catala-lang.org ) with the 2023 thread being the beefiest https://news.ycombinator.com/item?id=37546874

Right? Or a domain specific language for law: https://github.com/CatalaLang/catala I get that dislodging docx is an impossible job, but since docx is a terrible format for anything, it needs to be done for all the reasons the author mentions. The codes that run society should not be locked up in bad proprietary formats.

I mean the "mainframe model" of a single large system and many dumb terminals, now dumb terminals are named enpoints and the mainframe is someone else computer across the world. The trust problem is easy to solve, with an open society: as long as payments got processed with open APIs and the government takes care of the frauds there is no trust problem. I do not need to trust a third party with eCash, I only need to trust my State protections. The idea is already tempted, see not only the historic eCash, witch are the modern GNU Taler chosen (it seems) by the EU for the digital Euro https://www.ngi.eu/ngi-projects/ngi-taler/ and https://social.network.europa.eu/@EC_NGI/111499172838284606 but also https://openfisca.org and https://github.com/CatalaLang/catala or few others alike. That's still embrional but in FLOSS terms we have already mo

This exists, but I haven't dug deep enough to know better: https://github.com/CatalaLang/catala.

Programming and law can go together tho https://github.com/CatalaLang/catala

Law is a mess, in part because its authors take shortcuts. For example, from the first example on CatalaLang's README.md: > If the property was acquired by gift [and various conditions apply], then for the purpose of determining loss the basis shall be such fair market value. [emphasis added] I think (and I'm not a lawyer or a tax expert) that this means that the basis of an asset can have a different value for the purpose of determining gain or determining loss. Wow, basis isn't just a number, although one might not notice this if one didn't read the six emphasized words. But the Catala code seems to completely ignore this. Oops. I filed an issue: https://github.com/CatalaLang/catala/issues/514 In a real use case, I imagine that substantial refactoring of the parts that consume basis might be needed when one notices that the basis is

I don't think there is any reason ambiguity would clash with a project like this. Take "value.fair_market" in the concepts section [0]. Sure, lawyers can argue over what this means, but these competing definitions can also be defined programmatically. I agree with your idea that our interest in laws shouldn't focus on implementation details but I think they should focus on outcomes. This requires a method to produce an evaluation function to measure the outcomes of a new law, and a system such as Catala to help model expected outcomes and to help select between competing laws (eg if our outcome = "we want less pollution" then our policy might be "ban polluting industries" or "tax pollution externalities." Both have complex consequences which would be better analyzed automatically and measured empirically.) [0] https://github.com/CatalaLan

Not related to the Catalan language but to Pierre Catala: https://github.com/CatalaLang/catala#pierre-catala (https://fr.wikipedia.org/wiki/Pierre_Catala)

Cool idea, I'm sure many programmers have pondered this concept (albeit briefly, in my case). Found a code sample in the README: https://github.com/CatalaLang/catala/raw/master/doc/images/S... Unsolicited feedback: this should be the first or second thing visible on the home page, ideally in a less funky font.

See also - https://github.com/CatalaLang/catala