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

Ideally, hardware execution would happen on a language that can be proven correct and does not allow the programmer to make syntactic or semantic errors.

The world is far, far from ideal.




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

Search: