Re: [agi] My proposal for an AGI agenda

2007-04-10 Thread Eric Baum
I'd commend to the LISP hackers' attention the compiler "Stalin" by Jeff Syskind, who last I knew was at Purdue. I'm uncertain the extent to which the compiler is available, but I imagine if you look around (for example find Syskind's home page) you will find papers or or pointers. My erstwhile co

Re: [agi] My proposal for an AGI agenda

2007-04-10 Thread BillK
On 4/10/07, Eric Baum wrote: I'd commend to the LISP hackers' attention the compiler "Stalin" by Jeff Syskind, who last I knew was at Purdue. I'm uncertain the extent to which the compiler is available, but I imagine if you look around (for example find Syskind's home page) you will find papers o

Re: [agi] My proposal for an AGI agenda

2007-04-10 Thread Benjamin Goertzel
The Stalin Scheme compiler can be obtained here: http://cobweb.ecn.purdue.edu/~qobi/software.html It is a batch-mode-only compiler, meaning it lacks the interactive aspect that makes languages like LISP and Ruby so nice to use. The optimizations inside the Stalin compiler are quite advanced tho

Re: [agi] My proposal for an AGI agenda

2007-04-10 Thread Benjamin Goertzel
Philip> Samantha, you need to provide me with references if you want Philip> me to believe this. No LISP compiler has ever been optimized Philip> to any serious degree AFAIK. The nature of the language makes Philip> it difficult to write efficient code in the first place. And Philip> I suspec

Re: [agi] My proposal for an AGI agenda

2007-04-10 Thread Philip Goetz
On 4/9/07, Jeff Rose <[EMAIL PROTECTED]> wrote: Here are some benchmarks with SBCL lisp and GCC compiled C: http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=sbcl&lang2=gcc On the one hand, that is an awfully impressive performance for LISP vs. C. On the other hand, it also

Re: [agi] My proposal for an AGI agenda

2007-04-10 Thread Philip Goetz
On 4/10/07, Benjamin Goertzel <[EMAIL PROTECTED]> wrote: Mathematical code is exactly what's MOST EASILY OPTIMIZABLE using techniques as exist in the Stalin Scheme compiler, or better yet in the Java supercompiler. Each numeric operation is of course no faster after optimized or super compilati

Re: [agi] My proposal for an AGI agenda

2007-04-10 Thread Benjamin Goertzel
> And these advanced compilation techniques are easier to apply to LISP or > Refal > or Haskell than to Java, and easier to apply to Java than to C++ Why is that? well... C++ has pointers, which basically rule out sophisticated compilation techniques like partial evaluation and supercompi

Re: [agi] AGI interests

2007-04-10 Thread Hank Conn
"as a person: nihilism & the human condition. crime, drugs, debauchery. self-destructive and life-endangering behaviour; rejection of social norms. the world as I know it is a rather petty, woeful place and I pretty much think modern city-dwelling life is a stenchy wet mouthful of arse - not to sa

Re: [agi] AGI interests

2007-04-10 Thread Hank Conn
I'm graduating with my BS in Computer Science specialized in AI this fall, and then probably doing the MSAI program here at UGA. Eventually I want to be at the level where I can contribute real progress towards AGI/FAI. Maybe after I get my MS try to join an AGI project (e.g Novamente, A2I2, etc