It is predictable that in retrospect I will think this was a waste of time compared to working on a trust criterion between a probability distribution and an improved probability distribution. (Apologies, this is a technical thingy I’m currently working on which has no good English description.)
Cool. Are you or one of your minions likely to write it up in an informal technical way at some point in the not-excessively-distant future?
Cool. Are you or one of your minions likely to write it up in an informal technical way at some point in the not-excessively-distant future?
It’s looking more likely to be formal actually.
Great, even better.