News for hackers. Stuff that matters.
Re:Renaming Coq by subpixel on Thursday April 08, 2021 @11:08AM (#26739749)
There's no analysis of this that doesn't boil down to accommodating immaturity. Worse, it protects English speakers from the mental model (reflecting reality) where other languages coexist with their own.

There are no comments on this comment yet.