I don't think the comment is nonproductive. The majority of "women in tech" issues like this post is referring to, are belittled/misunderstood due to the differences in individual experiences. It's a fair comment to point out at this sometimes works in the reverse as well (i.e. sometimes there are more woman and/or fewer problems).

Your comment is equally patronizing.

but it was productive

I've been lurking here since it started. It's not patronizing - it's pointing out a basic statistical fact. Has the bar on HN truly fallen so low that pointing out that anecdote != data is now considered rude?

"Pointing out" is what you did, "rude" was how you did it.

For example:

"It's almost as if you don't understand that rudeness is about the tone instead of the content".

Or:

"It looks like you're trying to move the goalposts; would you like some help with that?"

Or:

"> 'It's not patronizing - it's pointing out a basic statistical fact' Interesting how you think the two are mutually exclusive."

Etc.

It's really weird that you've been on the site for 10 years and only just now decided to bust forth with a handful of comments of this low quality.

"Has the bar on HN truly fallen so low that pointing out that anecdote != data is now considered rude?"

yes... yes it has :)