Re:Renaming Coq
by lallysingh on Thursday April 08, 2021 @11:02AM
(#26739649)
Fighting human nature is rarely a winning strategy.
[ Parent
| on HN ]
It's cultural, is it not?
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.