[math-fun] Lexicographic ordering of powers of two ...

Here's a small thing that a friend of mine discovered: https://www.solipsys.co.uk/new/PowersOfTwoInLexOrder.html?sg26mf Surely this has been seen before, but I can't find any kinds of references to it. If anyone can suggest some references I'd be grateful. Thanks.