[tonetegeatinst]

statutes are written in precise language that both courts and citizens can interpret, but the two interpret the law very differently. Also see lower courts passing laws that violate the constitution or a supreme court ruling that will take decades to get removed off the book.

No "average citizen" can read and understand the law. You have laws at all different levels that conflict, conflict of definition, and then budget bills and executive orders that can also change the laws and regulations.

This is why law firms exist. Our legal text has become so complex that you need a specialist to decode the meaning, and it is not cheap.

[javasop]

It makes sense, yeah. I am proposing a new way to encode these rules that is grounded in precise mathematical logic. I gave the example of law because it's the closest thing we have to a well-defined, at least visible, set of rules. I have a language I developed (a subset of JSON) that encodes this logic (inspired by Prolog and Lisp). So basically, the idea is that we have a formal way of defining software systems that specifically affect our daily lives (especially with the advent of AI), so anyone can parse it and read it. You can even use AI to understand the rules of this system because it's constructed of primitives that are well-defined and constrained. Thank you for your comment, very insightful. Here is the docs page for the language I developed: https://almadar.io/blog/json-that-thinks