Hacker News new | ask | show | jobs
by paulvorobyev 1858 days ago
Adding to this list:

* https://catala-lang.org/ -- DSL for translating/annotating legal texts

* https://arxiv.org/pdf/2011.07966.pdf -- A Modern Compiler for the French Tax Code

* https://www.youtube.com/watch?v=EshxZVMURt4 -- Formal Methods and the Law

1 comments

Thanks 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