Your argument about K-complexity is a decent shorthand but causes people to think that this “simplicity” thing is baked into the universe (universal prior) as if we had direct access to the universe (universal prior, reference machine language) and isn’t just another way of saying it’s more probable after having updated on a ton of evidence. As you said it should be about evidence not priors. No one’s ever seen a prior, at best a brain’s frequentist judgment about what “priors” are good to use when.
Your argument about K-complexity is a decent shorthand but causes people to think that this “simplicity” thing is baked into the universe (universal prior) as if we had direct access to the universe (universal prior, reference machine language) and isn’t just another way of saying it’s more probable after having updated on a ton of evidence. As you said it should be about evidence not priors. No one’s ever seen a prior, at best a brain’s frequentist judgment about what “priors” are good to use when.