I just deleted my reddit account of 13 years.
Reddit has become overly toxic, and the premise of this article is definitely in effect on reddit. The trolls are winning over there.
HN was a sometimes-read for me, but now it's becoming a daily-read replacing reddit, because it's just less toxic here (I hope).
In old Japanese 2ch forum, there used to be a saying "Ignore trolls" and if a person behaving bad, they were said, "Be ROM(Read-Only-Member) half an year." It was a wise word.
Also, the number of users is quite small compared to... say, Reddit.