Hacker News new | ask | show | jobs
by ngruhn 264 days ago
fyi: they finally renamed Coq. It's called Rocq now.
1 comments
CaptainOfCoit 263 days ago
Guess they had to change the logo too? Just because evangelical anglophone users couldn't get past the name sounding like "cock" or what?
link
ngruhn 263 days ago
Yes, but I don't think it has anything to do with evangelicalism. It's just like Uranus. You can't talk about without it always being a bit unserious.
link