Re: [math-fun] provable pseudo-randomness viewed as about information loss