4 ms·

The usage of natural language to write legislations about internet will always create ambiguities and loopholes. I think regulations should be writen in a mathe

The usage of natural language to write legislations about internet will always create ambiguities and loopholes. I think regulations should be writen in a mathematical language with proof of consistency and unambigous reference implementation of algorithms that are imposed to FAI.

furgooswft13 8y ago
Lets pass a law that states all laws must be written in Haskell! Best part about it is much fewer laws will be written since so few understand that language.
- AnimalMuppet 8y ago
  But the laws that were written would apply to all, even those who don't know Haskell. That's probably not a desirable outcome.
- mdpopescu 8y ago
  > Best part about it is much fewer laws will be written since so few understand that language. Legalese didn't seem to have that effect.
  - furgooswft13 8y ago
    Yea but you can throw legalese madlibs into a document and get it passed as law as long as you provide the legislators enough kickbacks. Haskell has to compile at least, and be pure and stuff. Who's up for a Pure Functional Programming government.
    - makapuf 8y ago
      Sometimes I get the impression we get pure fictional programs before the elections ...
yifanl 8y ago
I thought the whole point of legislation is that it should be left to reasonable interpretation. Trying to be exacting just leads to a race to how many loopholes we can find (and we will find them), and now you get a scenario where the law only applies to you if you cannot afford a sufficiently good lawyer.
heinrichhartman 8y ago
I like this idea. In the internet "code is law" https://www.socialtext.net/codev2/Code%20Is%20Law https://www.socialtext.net/codev2/Code%20Is%20Law - regulation happens essentially through the code of our publication platforms. Having formal specifications makes it clear wether a platform complies or not. I don't think law makers should write code thought. But laws of the form: Every website has to implement HTTPS. Or you have to accept this OAuth providers could be effective.

furgooswft13 8y ago

Lets pass a law that states all laws must be written in Haskell! Best part about it is much fewer laws will be written since so few understand that language.

AnimalMuppet 8y ago
But the laws that were written would apply to all, even those who don't know Haskell. That's probably not a desirable outcome.
mdpopescu 8y ago
> Best part about it is much fewer laws will be written since so few understand that language. Legalese didn't seem to have that effect.
- furgooswft13 8y ago
  Yea but you can throw legalese madlibs into a document and get it passed as law as long as you provide the legislators enough kickbacks. Haskell has to compile at least, and be pure and stuff. Who's up for a Pure Functional Programming government.
  - makapuf 8y ago
    Sometimes I get the impression we get pure fictional programs before the elections ...

yifanl 8y ago

I thought the whole point of legislation is that it should be left to reasonable interpretation. Trying to be exacting just leads to a race to how many loopholes we can find (and we will find them), and now you get a scenario where the law only applies to you if you cannot afford a sufficiently good lawyer.

heinrichhartman 8y ago

I like this idea. In the internet "code is law" https://www.socialtext.net/codev2/Code%20Is%20Law https://www.socialtext.net/codev2/Code%20Is%20Law - regulation happens essentially through the code of our publication platforms. Having formal specifications makes it clear wether a platform complies or not. I don't think law makers should write code thought. But laws of the form: Every website has to implement HTTPS. Or you have to accept this OAuth providers could be effective.