SilasBarta comments on Let's reimplement EURISKO! - Less Wrong

19 Post author: cousin_it 11 June 2009 04:28PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (151)

You are viewing a single comment's thread. Show more comments above.

Comment author: Eliezer_Yudkowsky 11 June 2009 08:21:01PM 14 points [-]

You're having trouble figuring out how to implement AIXI? I saw Marcus write it out as one equation. Perfectly clear what the main loop looks like. All you need is an infinitely fast computer and a halting oracle.

Comment author: SilasBarta 13 June 2009 02:02:07PM 2 points [-]

+5? Yikes! People, it's clear Eliezer_Yudkowsky is joking. There are no infinitely fast computers or halting oracles, and an equation is not the same thing as code, let alone pseudocode.

In any case, AIXI isn't my main complaint in that department. I'm thinking more of

Hutter's fastest shortest algorithm for everything and AIXI-tl; and Schmidhuber's provably globally optimal Goedel machines, speed prior, and ordered optimal problem solver

Toy implementations anytime, guys?

Comment author: orthonormal 13 June 2009 05:42:53PM 7 points [-]

I think that most upvoters got the joke...