The tech sector seems to hate formality, I think this may also be part of the problem. But in this particular case, it's a hackathon, pretty informal to begin with. If this were a job description I'd agree that any sort of joke that relates to gender would be totally inappropriate.