Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
applfanboysbgon
17 days ago
|
parent
|
context
|
favorite
| on:
C*: Unifying Programming and Verification in C (20...
Neither of those languages are obscure. If enough time passes that they become considered so, by all means there is no reason to condemn the names to an eternal graveyard.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: