221–230 of 246 posts
In France, not only our law are versioned. It's formally proved too! https://catala-lang.org/ *Edit*: Woah ! The French crew is here. We are at least 5 quoting a variation of https://www.legifrance.gouv.fr/ > for versioning.
I wonder which country will be the first to be run entirely by AI instead of corrupt politicians
In France, not only our law are versioned. It's formally proved too! https://catala-lang.org/ *Edit*: Woah ! The French crew is here. We are at least 5 quoting a variation of https://www.legifrance.gouv.fr/ > for versioning.
Catala is not at all about "proving the law" formally (I'm not even sure what it would mean?). It's about having a formal language to translate law into that both matches the way law is usually written ("default logic") and allows to make numerical computations on. This can typically be used to implement tax or benefits law so that it is way easier to check that the algorithm computing taxes/benefits is correct compa…
Earlier quoted context omitted.
Tests for correctness, self similarity, duplication of concerns, contradictory statutes, edge case detection, cruft or outdated laws that muddy the waters... If the full compliment of software development practices were applied to legislation and ordinances we would be living in a very different world.
oh gawd, code is law is back. or is it law is code?
Earlier quoted context omitted.
It was assisted suicide. Meaning the government helps you to commit suicide.
Generally legal assisted suicide doesn't mean "the government helps you commit suicide" - it means it's not illegal for a doctor assisting a patient to commit suicide.
Nice, I am going to this for Swedish law! Any suggestions on how one can model parliament voting when a law passes using GitHub? Or all the work that preceded a law, that’s like a feature request or a bug report.
I’ve done this for Swedish laws: https://github.com/se-lex/sfs (Markdown with git history) https://github.com/se-lex/sfs-processor (processor with Git, md, md with temporal tags, or html as output formats)
Earlier quoted context omitted.
Oooh Can you elaborate a bit how the gazette is publishing them? Like what format did you have to parse. And how many documents were there in total? I tried doing the same for German laws 1-2 years ago but LLMs weren't smart enough yet. And the costs would've been at least a couple of thousand €. Ed: Nevermind, I missed the "BOE (Spain's official gazette) consolidated legislation API" part. Sending jealous greetings…
Do you mean DIN?
I built a pipeline that converts all Spanish state legislation into version-controlled Markdown. Each law is a file, each reform is a real git commit with the historical date. 8,642 laws, 27,866 commits. The idea: legislation is just patches on patches on patches. Git already solves this. Instead of reading "strike paragraph 3 and replace with...", you get an actual diff. The repo is the product. Browse any law, git…