I don't understand this either. I think some HN users think of themselves as 'all business', but humor is a useful contribution. We are humans capable (and in need) of a range of emotions and responses. Embrace it.
It only gets to be a problem when it elbows out serious discussion, which this did not. As long as the actual conversation gets floated to the top, there is nothing wrong with some jokes as you scroll down.