Next time someone asks you to name a computable irrational number that has been proved *not* to be normal in any base (i.e. does *not* contain every finite sequence of digits with equal density) you can turn to this beautiful example from Greg Martin:https://t.co/rxlqpGbz9x pic.twitter.com/1iL9fpFadm

— Greg Egan (@gregeganSF) January 13, 2020