Comment by a-dub
5 years ago
i found this recently and got really excited about the idea of computational law- but then i looked close and saw that all the examples were complicated tax and benefit accounting rules for the french government and thus rose the tombstone for my interest in computational law.
Yeah this seems boring and uninteresting but you might be surprised to hear that large organizations struggle a lot to get those things right: https://federalnewsnetwork.com/tom-temin-commentary/2020/01/...
not surprised at all! and it is, indeed, critical for the functioning of society. just not something that i traditionally have taken interest in.
i was hoping to see something along the lines of a dsl that improved the precision of how law is expressed in a more general sense, and perhaps tooling for collaborating, patching, managing, diffing and otherwise computerized reasoning about the law that doesn't necessarily supplant a lot of what legislators and the judiciary do, but rather increases the effectiveness with which they are able to do their jobs.