Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
boobsbr
on April 9, 2021
|
parent
|
context
|
favorite
| on:
Renaming Coq
Makes you think that Kernighan and Ritchie chose really well the least problematic name for their language.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
