Not really. Basically not at all. In bibliography I bet few, if any, times Coq's... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		forgotpwd16 on April 8, 2021 \| parent \| context \| favorite \| on: Renaming Coq Not really. Basically not at all. In bibliography I bet few, if any, times Coq's pronunciation is mentioned. The only thing changing will be in presentations and conversations where the name is a problem.

6gvONxR4sf7o on April 8, 2021 [–]

The vast majority of my communication is verbal, and that includes technical communication. "Only" isn't really "only."

forgotpwd16 on April 8, 2021 | [–]

Not sure what's the problem then as, based on that, changing just the pronunciation should be fine.

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact