Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Spanish legislation as a Git repo

github.com

Post reply on HN
Print view View original

231–240 of 246 posts

Re: Spanish legislation as a Git repo

#231

Post by mentalgear »

krtab wrote: post #220
_ache_ wrote: post #104

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…

> scope QualifiedEmployeeDiscount :

  definition qualified_employee_discount

    under condition is_property consequence

  equals

    if employee_discount >=

      customer_price \* gross_profit_percentage

    then customer_price \* gross_profit_percentage

    else employee_discount
Dang, I wish all law was written like this instead of the purposefully obfuscated legalise of (lobbied) legislative lawyers meant to mislead people and slip in loopholes for their interest groups to profit of.

Clear legislature is definitely something every person in the world would benefit of - if the the country's administration would want that.

Re: Spanish legislation as a Git repo

#232

Post by MomsAVoxell »

PenguinRevolver wrote: post #166
MomsAVoxell wrote: post #20

Great idea! I hope you did something like: $ git commit --amend --author="Author Name " --no-edit .. with the details for the author of each commit. Then, it would be simply amazing to run gource, sit back, and watch where all the noise is coming from. Gource: https://github.com/acaudwell/gource What gource looks like: https://gource.io/ I’ve long wanted to see gource applied in other sociologically-relevant contexts…

I tried using Gource and... well, the commits were not sorted by date , so the time goes all over the place.

Ah that is a pity, because Gource sure does have a way of showing who is making a mess of things and who is tidying things up…

Re: Spanish legislation as a Git repo

#233

Post by NoMoreNicksLeft »

The biggest impediment to tracking law via git is that you can't commit anything with a timestamp before the unix epoch. And law almost certainly requires the historical antecedents in the repo too, if it's going to be useful.

It's sort of funny to think about how you'd format Thomas Jefferson's email address so that he could be credited as the author of this article or that amendment. I bet someone's already figured out how to do that though.

Re: Spanish legislation as a Git repo

#234

Post by golem14 »

mentalgear wrote: post #231
krtab wrote: post #220

Earlier quoted context omitted.

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…

> scope QualifiedEmployeeDiscount : definition qualified_employee_discount under condition is_property consequence equals if employee_discount >= customer_price \* gross_profit_percentage then customer_price \* gross_profit_percentage else employee_discount Dang, I wish all law was written like this instead of the purposefully obfuscated legalise of (lobbied) legislative lawyers meant to mislead people and slip in lo…

For me, a great advantage is that this system makes it far simpler to understand the impact of a change, say a multi-pronged bill incl millionaire taxes, energy subsidy changes etc.

Much harder to hide some impact under the carpet

Re: Spanish legislation as a Git repo

#235

Post by efilife »

lcrisci wrote: post #138

I love it. This is a step in the right direction to have a transparent database of existing laws and be able to consult them with your AI or anything capable to reason about them and explain the status quo of our national laws. I would love to see a similar setup for other countries.

Sorry if I'm accusing you wrongly, but aren't you posting LLM-generated comments? Your latest comments have barely any substance and all tend to pick a point to praise/make a positive remark about

Re: Spanish legislation as a Git repo

#238

Post by j-bos »

dgreisen wrote: post #51
j-bos wrote: post #4

This is brilliant. I wish this were available for all legislations. There's so many inefficiencies that are trivially solved with existing tech frameworks.

Our nonprofit, Open Law Library, is working on this exact problem. It is definitely not trivial, but it is very doable. We partner directly with governments to help them implement so the git repos become the canonical record (rather than just an unofficial mirror). Maryland just launched their regs on our platform: https://regs.maryland.gov ( https://github.com/maryland-dsd/law-xml-codified ) Feel free to reach out (…

Very cool, worth a show hn

Re: Spanish legislation as a Git repo

#239

Post by __MatrixMan__ »

abdusco wrote: post #219
__MatrixMan__ wrote: post #119

Earlier quoted context omitted.

It would be a good place to start if you wanted to hard fork the government.

You need some land to host your own legislation

Why? I can opt in to a set of laws without a border or a building involved.
Post reply on HN