Count me among those who would care about that enough to be completely dissuaded... | Hacker News

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

kazinator 17 days ago | parent | context | favorite | on: C*: Unifying Programming and Verification in C (20...

Count me among those who would care about that enough to be completely dissuaded from naming a new language C*.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact