News for hackers. Stuff that matters.

A comment on Renaming Coq. Parent comment

Re:Renaming Coq by threatofrain on Thursday April 08, 2021 @11:14AM (#26739836)
And what is the delineation between nature and culture?
[ Parent | on HN ]
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.
[ Parent | on HN ]