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

The problem is really this:

> all possible unsafe inputs are guaranteed to be found

A sound system can reject all programs and still be sound. Therefore, it does not follow that all possible unsafe inputs are guaranteed to be found.

In my view, focusing on program acceptance or rejection is not really helpful.




Registration is open for Startup School 2019. Classes start July 22nd.

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

Search: