Date: Mon, 10 Dec 2012 03:38:57 -0500 From: Aryeh Friedman <aryeh.friedman@gmail.com> To: Zaphod Beeblebrox <zbeeble@gmail.com> Cc: FreeBSD Mailing List <freebsd-hackers@freebsd.org> Subject: Re: using FreeBSD to create a completely new OS Message-ID: <CAGBxaXkYXRO7E6dn0JROmV9p4sjVwUnTKvmfcdrBdM-HKd6t5Q@mail.gmail.com> In-Reply-To: <CACpH0MfdRsjx-xCOPyh2zQJ2cJvAj%2BatkwTrPHnutrKZ79vqSA@mail.gmail.com> References: <CAGBxaX=y9yLBymKX8Psmer0sPFWCgAFy3gs%2BtgU7waQt2g6hKA@mail.gmail.com> <CACpH0Mfj77ccSOeeoaQfYtvXAWB_=gsJMKK7WoFckj%2BdJotggw@mail.gmail.com> <CAGBxaXmRdc166NwG%2B38jM5F1vEgxtiu-52-P4q8GeR5mbfH80A@mail.gmail.com> <CACpH0MfdRsjx-xCOPyh2zQJ2cJvAj%2BatkwTrPHnutrKZ79vqSA@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
> Note that this pretty much makes java pretty much worthless. I say > that carefully as the seemingly "good" thing that makes the extra > effort in java "worth it" is the guarantee against the halting problem > that makes the security madness possible. If your "vm" is i386, you > can't offer that guarantee. The JVM is very specially crafted for > this purpose. On the halting problem unless my basic theory of computation is very out of date it is not possible for any turing complete machine to guerntee against the halting problem.... btw I think the AI crowd would love to hear that Java is a oracle (pun intended) which is likely more then any human can do (as far I know the current thinking is humans are somewhere between UTM's and oracles)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAGBxaXkYXRO7E6dn0JROmV9p4sjVwUnTKvmfcdrBdM-HKd6t5Q>