I would have understood this post better if it had a short introduction to tell me what AIXI-tl is, and why I care about it. As it is, the thing I learned is that there exists a formalism of learning that don't work in some contexts -- which doesn't surprise me.

I don't mean this to be dismissive -- It sounds like there is an interesting point in there somewhere, but right now, readers who aren't experts in learning theory probably can't get it.