News for hackers. Stuff that matters.

A comment on Renaming Coq. Parent comment

Re:Renaming Coq by SilasX on Thursday April 08, 2021 @04:14PM (#26743201)
Semi related, it always bothered me how cool we are with the term “therapist”, even for someone who treats rape victims.
[ Parent | on HN ]
Re:Renaming Coq by dgellow on Friday April 09, 2021 @05:07AM (#26748301)
Wow, I don't think I will be able to unsee this.
[ Parent | on HN ]