I absolutely have. It could be that reddit trains people to automatically think of puns for social gratification. It could be also because HN is basically a sub

I absolutely have. It could be that reddit trains people to automatically think of puns for social gratification. It could be also because HN is basically a subreddit, and people automatically associate this format with puns and cynical one liners. It's been known since the days of BBS's that communities get worse as they get bigger.