Brangus

(account migrated here: https://www.lesswrong.com/users/potato)

Posts

Sorted by New

Wiki Contributions

Comments

I also find it somewhat taboo but not so much that I haven’t wondered about it.

Just realized that’s not UAI. Been looking for this source everywhere, thanks.

Ok I understand that although I never did find a proof that they are equivalent in UAI. If you know where it is, please point it out to me.

I still think that solomonoff induction assigns 0 to uncomputable bit strings, and I don’t see why you don’t think so.

Like the outputs of programs that never halt are still computable right? I thought we were just using a “prints something eventually oracle” not a halting oracle.

Simple in the description length sense is incompatible with uncomputability. Uncomputability means there is no finite way to point to the function. That’s what I currently think, but I’m confused about you understanding all those words and disagreeing.

A lot of folks seem to think that general intelligences are algorithmically simple. Paul Christiano seems to think this when he says that the universal distribution is dominated by simple consequentialists.

But the only formalism I know for general intelligences is uncomputable, which is as algorithmically complicated as you can get.

The computable approximations are plausibly simple, but are the tractable approximations simple? The only example I have of a physically realized agi seems to be very much not algorithmically simple.

Thoughts?

After trying it, I've decided that I am going to charge more like five dollars per step, but yes, thoughts included. 

Can we apply for consultation as a team of two? We only want remote consultation of the resources you are offering because we are not based in bay area.

For anyone who may have the executive function to go for the 1M, I propose myself as a cheap author if I get to play as the dungeon master role, or play as the player role, but not if I have to do both. I recommend taking me as the dungeon master role. This sounds genuinely fun to me. I would happily do a dollar per step.

I can also help think about how to scale the operation, but I don’t think I have the executive function, management experience, or slack to pull it off myself.

I am Ronny Fernandez. You can contact me on fb.