Hacker News Reader

Derision is not civil, and explicitly discouraged.

True, but given the entire point here is to have interesting conversations, I think that's a higher priority than civility.

They are considered the same thing here. There is a reason it comes first in the guidelines on comments.