> on a forum where humor is never considered appropriate anywhere

Not quite true. There's just a pretty high threshold for what's relevant humour.

(The threshold is not even that high in absolute terms to be honest. Here's a +5 comment spotting a funny typo: https://news.ycombinator.com/item?id=26297542 It's mostly repetitive jokes that don't make it)