alt Hacker NewsI don't accept that argument. As I see it, laws should be structured as data rather than code, using a clean non-Turing-Complete DSL for any embedded logic and calculations. Maybe there would still be occasional situations when new software features are needed, but it should be a rare occurrence rather than on every new change.
Replies
ok123456 • today at 3:34 PM
People just need to add/subtract an input box and update the tax rates. They don't need an ontology of taxes and goods.
mejutoco • today at 6:06 PM
> laws should be
You are comparing what it is with what should be.
> laws should be structured as data rather than code
There was a submission a while back that might be relevant here: "Why Law Is Law-Shaped" (lawvm.org) [0]
[0] https://news.ycombinator.com/item?id=47945861