Ooh, not yet. I've read a bunch of his papers and his lecture notes from the Estonian Winter School that he taught at a few years ago, and have been slogging my way slowly through Algorithmic Information Theory, which has a lot of executable code in a micro-lisp that he doesn't spend a whole lot of time explaining. Exploring Randomness sounds like a good first course before tackling AIT again; I'll look for it, thanks!