I didn’t do anything intentional. I didn’t know that posts could have IDs like this. I assumed it was something that Vladimir_Nesov arranged, but was unsure.
I now realize that it is in fact base 36. Sorry about that, I was responding on autopilot by some muddied rule in my head which said “Non-decimal base → Add 1”, probably a result of remembering that base 10, for instance, only has digits up to 9. What I failed to realize, naturally, was that this included 0, coming out to ten symbols.
I didn’t do anything intentional. I didn’t know that posts could have IDs like this. I assumed it was something that Vladimir_Nesov arranged, but was unsure.
Every post has an ID in a peculiar encoding of alphanumeric characters (I think it’s just base 36). Pure coincidence.
*Base 37, I think you mean
What’s the 37th character?
I now realize that it is in fact base 36. Sorry about that, I was responding on autopilot by some muddied rule in my head which said “Non-decimal base → Add 1”, probably a result of remembering that base 10, for instance, only has digits up to 9. What I failed to realize, naturally, was that this included 0, coming out to ten symbols.
Sorry about that, I was wrong.