RE: About "safe" AGI architecture

From: Ben Goertzel (
Date: Sun Jun 13 2004 - 16:03:17 MDT

Joel wrote:
> there are several JVMs
> which are programmed using Java and compiled straight to machine code.

Very cool!

This would be the way to go if we want to formally verify our whole
software architecture, then ;-)


This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:47 MDT