> No, society tolerating those vocal trolls does mean that society is sexist.

What change in society would count as not tolerating these trolls?

To start with, commenters on HN could acknowledge that this is actually a problem.

> No, society tolerating those vocal trolls does mean that society is sexist.

Actually that just means society tolerates trolls. You're showing your bias by jumping to the conclusion that everything is sexism or that somehow antisocial and immature people only target women.

Furthermore, western society actually holds in high regard concepts such as frer speech, which covers idiots being able to say idiotic things.

These vocal trolls are being sexist. A society that tolerates sexist trolls tolerates sexism. A society that tolerates sexism is a sexist society.

A society that tolerates sexist trolls because it values free speech is not being sexist, it's being pro-free-speech.

It is being sexist, and it's being rather absurdist with it's definition of "free speech".