From owner-freebsd-hackers@FreeBSD.ORG Mon Dec 10 08:38:58 2012 Return-Path: Delivered-To: freebsd-hackers@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 8AF49CBA for ; Mon, 10 Dec 2012 08:38:58 +0000 (UTC) (envelope-from aryeh.friedman@gmail.com) Received: from mail-oa0-f54.google.com (mail-oa0-f54.google.com [209.85.219.54]) by mx1.freebsd.org (Postfix) with ESMTP id 3E0A08FC13 for ; Mon, 10 Dec 2012 08:38:57 +0000 (UTC) Received: by mail-oa0-f54.google.com with SMTP id n9so2903737oag.13 for ; Mon, 10 Dec 2012 00:38:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=mLcP71JHLXpQeerKheR9JyMJ4zQlaG7zNjNNkhIRlUk=; b=l9pgBYfjOHyJePz8WtDcSCcMotm9/U03Nysz55Ti1Jwxbp8an3eEYxf32RTucmj0H/ ho0QH+wIo2TJtraHQA+0gxtnjftzM44iyTW3/KLHEBmjZ/y7YtGtMq5QhTKoWFSI4NqF 6CQ5zrkTE/66iEb9teZsyvVbpiqlneCNkcceyahSuRNLpoPi4XjS6IG5r7C+XvP2tGFx PfIOpOKLBvVP4fSvoAcEGEIYP1fhlNO0ONqZXNhfGipnGfVN8HmQUVSVdYcoOxgARm5z U+YnOuZbnLnPvsV8bRuipFlU5Hn9pJ4B5z69O1mTymSmv+Gsl2djaH9KIeOTRi9EZLFj C2VQ== MIME-Version: 1.0 Received: by 10.182.64.14 with SMTP id k14mr7296755obs.72.1355128737667; Mon, 10 Dec 2012 00:38:57 -0800 (PST) Received: by 10.182.158.137 with HTTP; Mon, 10 Dec 2012 00:38:57 -0800 (PST) In-Reply-To: References: Date: Mon, 10 Dec 2012 03:38:57 -0500 Message-ID: Subject: Re: using FreeBSD to create a completely new OS From: Aryeh Friedman To: Zaphod Beeblebrox Content-Type: text/plain; charset=ISO-8859-1 Cc: FreeBSD Mailing List X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 10 Dec 2012 08:38:58 -0000 > 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)