It's not clear to me there is a correlation. Introverted so doesn't have many friends. At work, people who are into the same thing (coding here on HN) are like minded people that an introvert can get some socialization from. Where as an extrovert has a million friends and zoom calls them one after another, filling their socialization quota.
I've spoken a bit on HN about this in the past. I would consider myself an introvert, but one that needs some sort of social interaction less I go crazy.