Re:Renaming Coq
by dkarl on Thursday April 08, 2021 @11:31AM
(#26740060)
Children will deal with it badly, of course. That's why it is a mitigation, not a solution. Unnecessarily creating opportunities for the problem to manifest will not result in the problem being solved more quickly; it will only increase the damage from it.
[ Parent
| on HN ]
There are no comments on this comment yet.