-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 On 24/10/15 21:44, Mike Gerwitz wrote: > So you have still given up your control. You can only do the type > of computing that others say you can do, and if you try to say, "I > have an idea; let's do it this way!", then unless everyone else > agrees with your changes, then you are told that you can't compute > like that---it's not allowed. If you get rid of that distributed > nature, then we're back to where we are today: pretty much the > same place, but less dystopian. This is how democracy in general works; i.e. tyranny of the majority. I can write my own programming language and insist on using it, but I can't force anyone else to use it. I can make my own document format and insist on using it, but I can't force anyone else to use it. I can fork a free software SaaSS, change it, distribute the changes, but I can't force anyone else to use it. I don't see the problem.
Have I given up control of my email client since I can't modify it while it runs? Have I given up control of my LaTeX papers, because I can't force everyone else to use LaTeX? > You're talking about tricking hackers/programmers/users who read > the code. No. I am talking about using a sophisticated type system to eliminate ill-doing. > Even if all software were written in a system like Coq, and all of > it were formally proven to operate exactly as it was designed, the > above issues would still stand. If by "issues" you mean that if I choose to use SaaSS e.g. to collaborate with others on a document, I can't suddenly rewrite the running instance of the software, and force everyone else to use my version, then I agree. I, however, don't see that as a problem. (In this specific instance the solution is obviously to fork the software and run your own instance that communicates with the others via an API.) - -- Alexander [email protected] https://secure.plaimi.net/~alexander -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCgAGBQJWK+6dAAoJENQqWdRUGk8BW/cP+wTRsvz2kNf3qA72pTDEIgNx 1PAqilyojxhSvAfbw6q0OYC6FdpMxVqkuDOt5+TkgbLO6wCB+uTkVWWSDVaC6Dqg xNjgJvNWNWczVoGPzgl41jYMTazumtXUFy1H9ljZ8ZEMvKI4a+n+HX5sO2d3W6xy 8APLEegQ2XfrXErON0SivVzsE9fYdHOGla+bf3DYoLpU6nRKyAZ2b5IC4syX9xHw Hut+Mx5D1l2MRbgMriTytDHIzrV/s/Ue62FEAv/kt0sE/LlyIOUkQwRGo7GJyooG HKS7p1IWR4YDh6vNMR5pNsqw+tPbwA6VCGwrzkOiIJtZpYIP3vBD0H1sMHBY2OpV 8HLV2IGAg+/s/fMwf33gACnMnvBixLgz3oPs+0YjhPBddxw9NfyNp0OeP1v8wFSe ifWX0N91lJFxRJ4K5Dg7EZz/NB1FiSyiZspqPZF6ZgvuUqxS4LwW617yv4YqD9UP fiD5W0e9JA9mRF8MABk1pzuvTd1//ReMyT7V+R804TKemkR/nSHl8XrU1PzjeV2P GbTcWq5qTRDMhFoOI3X+xm7/vMw6uTquEqZJfX3OAPyP2vXvU/3vQyqSJIdsc8sZ bZACBtRd2KPGl/k6hVruHNqay8CLQArD3EaOfp8cCpDsLUwHrxnGaOTXNfTXUIQt 8ePUOB1AIbAyz4BU8pN2 =kzxR -----END PGP SIGNATURE-----
