Hacker News new | past | comments | ask | show | jobs | submit login

In the end, every specification is specified via natural language, this is just where the buck stops. All math books are written in natural language, even the ones about specification languages.





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

Search: