News for hackers. Stuff that matters.
Re:Superintelligence cannot be contained: Lessons from Compu... by thewakalix on Tuesday January 12, 2021 @03:05PM (#25752696)
It's more like "it's impossible to prove that every pizza isn't poisonous, because here's a proof that a certain pizza contains cyanide."

Some particular pizza might very well be non-poisonous, but this is a statement about all pizzas.

Re:Superintelligence cannot be contained: Lessons from Compu... by cambalache on Tuesday January 12, 2021 @09:59PM (#25757465)
No, you are confusing the metaphor. In this case the pizza is the harming algo, the cyanide the halting problem and the poisonous quality the fact they are undecidable or not. You are not reasoning about a set of pizzas , just one pizza in particular.