Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
subpixel
on April 8, 2021
|
parent
|
context
|
favorite
| on:
Renaming Coq
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.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: