←back to thread

On Building Git for Lawyers

(jordanbryan.substack.com)
162 points jpbryan | 4 comments | 14 Nov 24 15:48 UTC | HN request time: 0s | source
Show context
SchwKatze ◴[14 Nov 24 16:36 UTC] No.42137911[source]▶
I was thinking about that last month. But in addition to git, I would propose a formal verification system based on the contract statements, to ensure that any addition would not broke the logic and correctness of the contract. Working like a CI system.
replies(3): >>42137949 #>>42138043 #>>42139675 #
sitkack ◴[14 Nov 24 16:39 UTC] No.42137949[source]▶
Then why not write the contracts in prolog?
replies(1): >>42137994 #
1. corinroyal ◴[14 Nov 24 16:43 UTC] No.42137994[source]▶
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.

replies(1): >>42138090 #
2. KPGv2 ◴[14 Nov 24 16:50 UTC] No.42138090[source]▶
> The codes that run society

This discussion is about contracts, not legal codes. I agree with your statement, but decades now of people on Slashdot being unable to differentiate copyright and patent has made me this way, where anyone potentially mixing up legal concepts has me triggered and jumping down their throat.

replies(1): >>42138767 #
3. sitkack ◴[14 Nov 24 17:38 UTC] No.42138767[source]▶
Contracts do run society, along with legal codes that are written in much the same manner, by the same body of experts.
replies(1): >>42143180 #
4. light_cone ◴[15 Nov 24 01:40 UTC] No.42143180{3}[source]▶
Moreover, the law literally says that contracts are considered as laws but only applicable to co-contractants (at least in France it's written like that). So it's the same thing, just with a different scope and precedence on the hierarchy of norms.