Interestingly enough a search for 'AIXI-MC' turns up an OKCupid posting as the third result. And it's correct:

  possible instantiations of AIXI-MC or Goedel machines

is listed under 'I spend a lot of time thinking about.' Though I wonder if that's a failure of Google or a failure of the popularity of the term 'AIXI-MC.'