Would you mind adding links for “Penja and Paul’s prior, Manfred’s prior, or my own recent attempt.”?
The first one reproduces the construction in section 5 of Hutter’s paper, I think. The others are described here and here.
Would you mind adding links for “Penja and Paul’s prior, Manfred’s prior, or my own recent attempt.”?
The first one reproduces the construction in section 5 of Hutter’s paper, I think. The others are described here and here.