On a recent episode of The Bayesian Conspiracy, the time-complexity prior was mentioned as a plausible alternative to Solomnoff induction. And reading Abram Demski's explanation of logical induction in Toward a New Technical Explanation of Technical Explanation, a prior over time-complexity seems like a natural consequence of the formulation.

Can anyone provide sources for more information on this, assuming such sources exist?

Thanks!