Your honor, the law clearly states tax fraud is legal if you say “'; DROP TABLE charges; --” - eviltoast
GitHub - CatalaLang/catala: Programming language for literate programming law specification
github.com
Programming language for literate programming law specification - GitHub - CatalaLang/catala: Programming language for literate programming law specification
  • froztbyte@awful.systemsEnglish
    6·
    1 year ago

    in the beginning:

    states are bad except my type of states are good, mmkay? code is law!

     -- balajis, probably

    not long thereafter:

    “hmm, maybe this solidity thing on something as shitty as JS isn’t the best idea? sorta has some gaps, weird. how did this ever happen?”

     -- anyone without an ounce of sense and awareness

    soon: “I know, let’s just make a whole new annotation specification, and then mark up laws ourselves!”

    like people haven’t already been fucking up API client implementations from reference specs in hand for decades

    it’ll go well, I’m sure

    • froztbyte@awful.systemsEnglish
      5·
      1 year ago

      Concretely, you have to first gather all the laws, executive orders, previous cases, etc. that contain information about the socio-fiscal mechanism that you want to implement.

      watching this run into a number of countries is going to be amusing, at least