About formalisation of laws in code (read: "write down laws as code"), I wonder how far this can go (eg. in a 10 or 20-years timespan). Any idea what are the most suitable parts of law (notably public) where to apply this principle? And how far can companies/startups go without the help of governments in this venture?

Another note on "smart contracts" in the first sense, or as I would put it, trusted computation as way of executing multi-party agreements. This approach already in application in electronic markets for example, and public blockchains seem to be a way to bring this to the masses. But I think it's still hard to say how this can interplay with "wet" decisions (involving a judge or an arbitrator). That's probably one of the interesting questions in this domain.