Of course, on its own, that is pretty irrelevant. There are jokes like that all the time on all sorts of topics. But in this situation, it is ALWAYS men joking with/about other men. Women are excluded from the jokes completely. And these sorts of "jokes" and other little implicit signals are all over everything remotely related to CS/tech. Which gets pretty discouraging, day after day.