4 ms·
Laws are less like program code than they are like declarative constraints. And society has to solve for how to operate within those constraints. That's what ma
by bitwize 3y ago
Laws are less like program code than they are like declarative constraints. And society has to solve for how to operate within those constraints. That's what makes making good law so difficult; it's like prompt-engineering a model and only getting results back, for good or ill, years or decades later. And when you do make a mistake (which is often) it can take that long to fix it!
- Zambyte 3y agoProgram code can be declarative constraints. As said elsewhere in this thread, Prolog is an example of such a system.