Hacker News Reader

> This similarity has already led to some women turning away from Coq and others getting harassed when they said they were working on Coq.

Full quote which you managed to misrepresent by "helpfully" cutting text out.

So, women were turned away, and others were harassed.

So I guess that's exactly what's wrong with people: they will frequently misunderstand things and then spread those misunderstandings.

View on HN

Women weren't turned away, they did the turning away. I don't see what was misrepresented. The person you're chastising seems to have edited the quote to ensure we know they're replying to one specific part of it. After all, if they had left the part about women turning away, it might seem like they were asking "what's wrong" with the women.

I read that as some women turned away, and other women were harassed.

That's certainly a reasonable understanding, though I can't imagine there not being any men who've been harassed too (even by simple mockery), which is why I read it as if there were women who did not even use it because of the name, and a separate group of others (which includes women too) who still used it, but were being harassed (eg. when they spoke about it).

I think that makes a big difference in the interpretation, not that it should make a big difference in action taken.

Reply on news.ycombinator.com