News for hackers. Stuff that matters.
Re:YC's request for startups: Government 2.0 by umanwizard on Thursday May 23, 2019 @06:48PM (#19996798)
> You could simply have judges write decisions in a decision language as well, which is defined just as the law language is defined.

But how could you write the laws in the first place? You can't write them in a language designed to be unambiguous, because they are meant to be imprecise.

Re:YC's request for startups: Government 2.0 by breck on Thursday May 23, 2019 @07:49PM (#19997154)
See basic example code: https://github.com/breck7/jefferson

There will be some ambiguity introduced via the English language (not a problem since you'd still have judges), but the whole thing can be defined, from concepts like true/false all the way to very complicated concepts, in the same universal syntax/language.

Re:YC's request for startups: Government 2.0 by empath75 on Thursday May 23, 2019 @08:26PM (#19997368)
and then you end up with grotesque injustices like mandatory minimum sentences.
Re:YC's request for startups: Government 2.0 by breck on Thursday May 23, 2019 @08:58PM (#19997522)
Huh?

You could define mins and maxes into the language, or even clearly and unambiguously leave everything up to the judge.

My proposal does not change the laws at all--what people create is up to them. All I propose is a language where the language itself cannot be used by the special interests against the better interests of the people. My language leaves corruption with no place to hide.