News for hackers. Stuff that matters.
Re:Law for Computer Scientists (2020) by bitwize on Sunday January 28, 2024 @07:53PM (#39171615)
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!
Re:Law for Computer Scientists (2020) by Zambyte on Sunday January 28, 2024 @09:29PM (#39172078)
Program code can be declarative constraints. As said elsewhere in this thread, Prolog is an example of such a system.