Charlie Steiner comments on How is Solomonoff induction calculated in practice?