3 ms·
God I wish contracts were encoded semantically rather than as plain text. I just tried to look through Github's terms of service[1]. I'd search for "Github can
by Jeff_Brown 5y ago
God I wish contracts were encoded semantically rather than as plain text. I just tried to look through Github's terms of service[1]. I'd search for "Github can <verb> with <adjective> code" if I could. Instead I'm giving up.
[1] https://docs.github.com/en/github/site-policy/github-terms-of-service https://docs.github.com/en/github/site-policy/github-terms-o...
- int_19h 5y agoA world in which all laws and contracts were required to be written in Lojban would be interesting.
- Jeff_Brown 5y agoThat looks hard. More politically feasible might be a language I've unfortunately forgotten the name of, ordinary English but with some extra rules designed to eliminate ambiguity -- every noun has to carry a specifier like "some" or "all" or "the" or "a", etc.
- ganzuul 5y agoLegalese might be similar to code, and there is lots of interest in making law machine readable. So don't give up; check back later.