3 ms·
Adding to this list: * https://catala-lang.org/ https://catala-lang.org/ -- DSL for translating/annotating legal texts * https://arxiv.org/pdf/2011.07966.pdf
by paulvorobyev 5y ago
Adding to this list:
* https://catala-lang.org/ https://catala-lang.org/ -- DSL for translating/annotating legal texts
* https://arxiv.org/pdf/2011.07966.pdf https://arxiv.org/pdf/2011.07966.pdf -- A Modern Compiler for the French Tax Code
* https://www.youtube.com/watch?v=EshxZVMURt4 https://www.youtube.com/watch?v=EshxZVMURt4 -- Formal Methods and the Law
- mengwong 5y agoThanks Pierre and Paul for the links! For folks who happen to be unreasonably interested in this stuff: there are research engineer positions open at the Centre for Computational Law at Singapore Management University where the bulk of the R&D is happening, in partnership between Legalese and the university. TL;DR: Move to a tropical island, get paid to write open-source software, and explore the arguments being made in this thread in way more detail than you dreamed possible. DM me on Twitter, @mengwong