Re:Renaming Coq
by ModernMech on Thursday April 08, 2021 @12:26PM
(#26740716)
On the best of days I can make the students remember one, maybe two important points from a given lecture. The second I say Coq in class, the takeaway from that lecture is that the professor said Coq, not anything having to do with theorem proving.
[ Parent
| on HN ]
For those kids, maybe that's a more important thing for them to learn? I mean, so many future encounters will be affected by their ability to not turn everything into crude sex jokes, compared to the number of circumstances where it will benefit anyone for them to know about theorem provers.
Maybe that's a bit too touchy-feely, but from a more ruthless, "only the course material matters" perspective, fine, let the kids who can't get over the name suffer the consequences. The kids who take it in stride will have an advantage. Nothing wrong with that.
Re:Renaming Coq
by 6gvONxR4sf7o on Thursday April 08, 2021 @01:43PM
(#26741641)
It doesn't just affect the immature kids, because the immature kids affect the rest.