<a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Project_Cybersyn" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Project_Cybersyn</a><p>(Do you seriously believe that a field as nascent and murky as macroeconomics, coupled with the hectic state of public policy and political advisory -- that these same people can then turn around and write a magical AI to quick fix government planning as we know it?)<p><i>I mean, what would go a long way is manufacturing a programming language to write laws in, so we could lint and compile time warn&#x2F;error laws. That would be a good place to start.</i><p>The law already <i>is</i> a formal language, and court procedure is also formalized and mechanical. The language of the law is such that it permits a high degree of fuzziness, so one can benefit from common law, case precedent, jury nullification and all sorts of nice judicial perks.<p>The &quot;programming language for laws&quot; that people on HN keep proposing will only fuck everything up even worse.