Nick Szabo, one of the more precise extropian thinkers, has sketched out a formal language for defining contracts. I’d love to hear what a lawyer (preferably a lawyer with some knowledge of computer language theory) thought of this. He also has a lighter piece on Medieval clocks and economics. – from Seth
Currently:
smart contracts