Hacker News Reader

Comment by atom_arranger | Hacker News Reader

That might be what comes to pass in the far future. It's possible for something to be a good and creative tool and also capable of terrible things.

I think the gain of function research that may have lead to covid could possibly have had interesting applications, but it also (possibly) lead to something terrible, probably best to regulate it more.

In fiction AI is banned in Dune and Warhammer 40k because of past events. It makes sense that if something really bad happened because of AI you might want to put regulations on development of it.

View on HN

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.

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.

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.

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/mediumorigin...

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

Reply on news.ycombinator.com