Care to elaborate on the proposals to do laws via formal languages? Seems like t... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		johnecheck on Dec 17, 2024 \| parent \| context \| favorite \| on: MIT study explains why laws are written in an inco... Care to elaborate on the proposals to do laws via formal languages? Seems like there's a lot of pitfalls there, but that comes with the territory of writing laws in general. Seems like a concept worth exploring.

mdaniel on Dec 18, 2024 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact