I'd say your response added just as much noise and introduced a degree of intolerance not necessary to the conversation. Let the non-helpful comments die a silent lonely death, no need to get haughty about it.
and I'd hate to contribute to making HN another Reddit...