Yep. Tromp is indeed a legend I recall running across back when the Hutter Prize was first introduced and people were making noises about the "arbitrary choice of UTM" as though that was a good reason to not use lossless compression as the most principled loss function for machine learning. Indeed, he's still with us and gave this interview last month! https://youtu.be/ejhfJScuViY