←back to thread

Catala – Law to Code

(catala-lang.org)
116 points Grognak | 2 comments | | HN request time: 0s | source
Show context
sublinear ◴[] No.46178080[source]
> The aim is not to formalise or put into code all the law, because that would make no sense, but we are interested in the law that is already executed automatically, such as the calculation of social benefits, tax or unemployment.

Can anyone explain why it's believed this "would make no sense"?

replies(8): >>46178118 #>>46178209 #>>46178320 #>>46178385 #>>46178481 #>>46179102 #>>46179190 #>>46179304 #
1. recursivecaveat ◴[] No.46178481[source]
A computer program takes digital bytes, runs some discrete logic on them, outputs some more bytes. Laws take messy real world stuff, run some subjective decision tree on them, and output some messy real world actions to take. If you model the former with the latter you end up 'shelling out' to human judgement every 2 words. Suppose you accidentally shoot somebody while duck hunting, the meaning or value of pretty much everything here can't be determined by a computer, so the code-law version of this random snippet of natural-language-law would be pretty useless:

> If it is found that the defendant did the killing or wounding, but that it was not intentional or negligent, the court shall dismiss the proceeding. Otherwise, if it is found that the defendant did the killing or wounding intentionally, by an act of gross negligence, or while under the influence of alcohol, the court shall issue an order permanently prohibiting the defendant from taking any bird or mammal.

replies(1): >>46178797 #
2. ttoinou ◴[] No.46178797[source]
Have you been around on the internet when they discovered AI LLMs ?