News for hackers. Stuff that matters.
Re:Renaming Coq by lallysingh on Thursday April 08, 2021 @11:02AM (#26739649)
Fighting human nature is rarely a winning strategy.
Re:Renaming Coq by Nicksil on Thursday April 08, 2021 @11:06AM (#26739709)
It's cultural, is it not?
Re:Renaming Coq by dkarl on Thursday April 08, 2021 @11:12AM (#26739802)
I would not call it "human nature" or give up on changing it, but I agree that changing the name is a quick and easy win compared to changing the context.
Re:Renaming Coq by threatofrain on Thursday April 08, 2021 @11:14AM (#26739836)
And what is the delineation between nature and culture?
Re:Renaming Coq by yepthatsreality on Thursday April 08, 2021 @12:06PM (#26740468)
If you view everything at a high level then there is no difference, but that doesn't mean we pretend that nature == culture.