The problem with mocking or deriding someone in public is that you are likely to put off other genuinely interested people who might be scared that they will get treated badly for a sincere effort. This depends on the local culture at times. The answer isn't always to grow a thicker skin. Being more civil in general helps. Strong responses doesn't equate to impolite ones although some developers seem to treat it that way.