Yes, it is a joke, and it doesn't land because it assumes "this is what introverts do, haha, isn't it funny? Introverts are so quirky".
I'm claiming that the premise of the joke is faulty.
Exactly. "Oh, aren't these nerds just so inappropriate? Haha, laugh at them being actually broken while we frame it as normal. canned laugh track"