Your honor, the law clearly states tax fraud is legal if you say “'; DROP TABLE charges; --”

@bitofhope · 9 months ago

Your honor, the law clearly states tax fraud is legal if you say “'; DROP TABLE charges; --”

@froztbyte · 9 months 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 · 9 months 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

Your honor, the law clearly states tax fraud is legal if you say “'; DROP TABLE charges; --”

Your honor, the law clearly states tax fraud is legal if you say “'; DROP TABLE charges; --”

GitHub - CatalaLang/catala: Programming language for literate programming law specification