> показывая на код на экране и глумливо улыбаясь: "Как тебе мой coq?"

Какая надуманная ситуация.

Я девушка-программист, и 1) никогда такого рода шутки не встречала, хотя начала работать ещё до массовой истерии обид, когда нравы были свободнее; 2) если б и услышала, просто спокойно проигнорила, и с лёгкой улыбкой приступила бы к критике его coq-а )
Если человек настолько чувствителен, что его такие двусмысленные слова оскорбляют, пусть идёт двор мести, где с ним никто не разговаривает и обидеться не на кого.