[littlestymaar]

> Much to the chagrin of the computer scientists who think it’s some sort of robust formal specification for civil society.

Law is actually code, just written in a language that is full of UB and you need to have if run on the system to know exactly what it does, the system being the hierarchy of jurisdictions.

[Sohcahtoa82]

> Law is actually code, just written in a language that is full of UB

Which is why legalese exists. To try to limit undefined behavior by being extremely verbose to cut out any loopholes.

Like...imagine a kid jumping on their bed. Mom says "Stop jumping on the bed!" and the kids stops. Comes back to the kid's room later, kid is jumping on the bed again, tells the kid to stop. Kid says "I'm not jumping, I'm hopping!" and goes into a diatribe about the difference between jumping and hopping, mom says to stop hopping and leaves. Goes back again later, kid is STILL jumping on the bed, and mom is angry! "You said no jumping or hopping, I'm not doing either, I'm bouncing!"

Eventually the mom has to say something like "Do not jump, hop, bounce, spring, leap, or otherwise propel yourself upwards or laterally from the bed, mattress, or any other part of furniture intended for sleeping".

[zelphirkalt]

Great example.

And then it goes on even further, because she did not say, that the kid must never "propel themselves upwards or laterally from the bed", and only stopped that action in that moment ...