[jepler]

I don't know Haskell, so I can imagine if you didn't know Python it'd be "greek to you" (unintelligible). I'll try explaining in prose what I did. [note: I also edited the grandparent comment because when I simplified the session I showed, the assignment of "s" ended up out of order]

I use the Python decimal package to calculate 17^(1/7) to 4000 decimal places. I show the first 12 characters of the ASCII representation ("1.4989198720"), then take the first 1000 characters after the decimal place. I show the first and last 10 characters of this string ("4989198720...6163659068") so that you can verify it against the string you are testing.

Then I use a list comprehension to check each 3-digit string (e.g., 001, 002, 003, ..., 999) to find out whether it is a substring of the concatenation of `s` with itself, and list the ones that don't appear. I manually abbreviated the list, but I'm saying that in my string, 000, 002, 004, 005, 009, [and some other numbers], 993, 994, 995, 998, and 999 did not appear. (The concatenation `s+s` is checked so that the subsequences that occur at the wraparound---here,684 and 849---are found)

Because some of these length-3 sequences are missing, to my understanding this does not constitute a de Bruijn sequence of order 3 on a size-10 alphabet. However, I'm also not entirely sure whether this is what you were claiming.

[super_normal]

yes. your code is what i was intending to check, after all. i got confused that the '10' might represent some kind of sub-sub string. what happened was simple, i dont have access to a good haskell environment and 'claude 3.5 sonnet' hallucinated perfectly even counts, probably because i was leading a little. i apologize for not checking claudes clearly dubious output. i got excited that it seemed the 1,000 characters i copy pasted seemed to be 'super magic'. i still see some kind of pattern in the '7' digit sequence, though, and maybe there still might be a metric that estimates this property as a function of how far into the sequence you go that might have some applicability, maybe. sorry.

(also, i didnt sleep last night and smoke weed. im on a phone.)