5 ms·

I think that banning general purpose computers only makes sense if you believe AI cannot be controlled. A more reasonable approach would be to design the progra

I think that banning general purpose computers only makes sense if you believe AI cannot be controlled. A more reasonable approach would be to design the program in such a way that by its very nature, fulfills certain criteria that cannot be escaped. Think of a linear type system or substructural logic. You have a core calculus which keeps track of resources and effects so that computation has no way to propagate outwards unchecked. Safety is not so much imposed by some external guard condition, but woven into the very fabric of computation itself.

pronlover723 5y ago
It doesn't seem possible to me to ban general purpose computers. Any society that tries would at best, lose to the ones that don't. It seems impossible to me to have enough surveillance to both prevent unauthorized code and also still allow effective/competitive software development.
- bmc7505 5y ago
  It may not be technically possible, but that won't stop misguided people from trying to regulate Turing machines and exploit their vulnerabilities. Rather than putting so much energy into in regulation, surveillance and offensive measures, I suspect the "winning" strategy is to focus on secure, verifiable computing. Whoever masters this first will grow an immunity to (human and AI) cyber-threats and gain a significant competitive advantage in the digital economy.
  - JetAlone 5y ago
    The extent to which truly secure computing is possible depends in large part on which of the many possible "cryptographic universes" we live in (based on how the algorithmic complexity categories like P and NP are). https://cdn.futura-sciences.com/buildsv6/images/mediumoriginal/d/c/7/dc7d896e89_49808_36.jpg https://cdn.futura-sciences.com/buildsv6/images/mediumorigin...
    - bmc7505 5y ago
      There are different kinds of secure computing. The kind of security you are referring to is based on cryptographic schemes like homomorphic encryption or zero-knowledge proofs. The kind of security I am referring to is language-based security. https://en.wikipedia.org/wiki/Language-based_security https://en.wikipedia.org/wiki/Language-based_security

pronlover723 5y ago

It doesn't seem possible to me to ban general purpose computers. Any society that tries would at best, lose to the ones that don't. It seems impossible to me to have enough surveillance to both prevent unauthorized code and also still allow effective/competitive software development.

bmc7505 5y ago
It may not be technically possible, but that won't stop misguided people from trying to regulate Turing machines and exploit their vulnerabilities. Rather than putting so much energy into in regulation, surveillance and offensive measures, I suspect the "winning" strategy is to focus on secure, verifiable computing. Whoever masters this first will grow an immunity to (human and AI) cyber-threats and gain a significant competitive advantage in the digital economy.
- JetAlone 5y ago
  The extent to which truly secure computing is possible depends in large part on which of the many possible "cryptographic universes" we live in (based on how the algorithmic complexity categories like P and NP are). https://cdn.futura-sciences.com/buildsv6/images/mediumoriginal/d/c/7/dc7d896e89_49808_36.jpg https://cdn.futura-sciences.com/buildsv6/images/mediumorigin...
  - bmc7505 5y ago
    There are different kinds of secure computing. The kind of security you are referring to is based on cryptographic schemes like homomorphic encryption or zero-knowledge proofs. The kind of security I am referring to is language-based security. https://en.wikipedia.org/wiki/Language-based_security https://en.wikipedia.org/wiki/Language-based_security