But that’s not what’s happening here - the model here is that every piece has a uniform probability of being selected next, in which case every possible subsequence appears in the limit.
There are a number of things that make code hard to reason about for humans, and combinatorial complexity is just one of them. Another one is, say, size of working memory, or having to navigate across a large number of files to understand a piece of logic. These two examples are not necessarily expensive for computers.
I don't entirely disagree that there is code that's objectively difficult to work with, but I suspect that the Venn diagram of "code that's hard for humans" and "code that's hard for computers" has much less overlap than you're suggesting.
> People from Sydney who move to London come to hate it, once the novelty wears off, just as they would with New York
Just sharing a different perspective, I'm from Sydney and have lived in all 3 and don't agree with this generalisation. I know plenty of Sydney-raised people who've lived in London or New York for decades, love those places, and don't plan to move back to Sydney any time soon if at all.