samshap comments on Lucius Bushnaq’s Shortform

[samshap]

There are, but what does having a length below 10^90 have to do with the solomonoff prior? There’s no upper bound on the length of programs.