Re: Extropians Investing in the Future

Eliezer Yudkowsky (
Mon, 23 Dec 1996 18:40:33 -0600

> Reliable verification is, of course, impossible (remember the Halting
> Problem?).

Exquislay myaw? Perfect verification is impossible in the sense of
detecting those programs, *and* *only* *those* *programs*, which violate
security. If you're willing to stop some innocent programs, complete
verification is easy. And since no Java compiler that I know of
produces secure but (currently) unverifiable code, there's no problem.

--       Eliezer S. Yudkowsky

Disclaimer:  Unless otherwise specified, I'm not telling you
everything I think I know.