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

> That's empty dogma.

This dogma is statistically verifiable. We could also replace them with Go counterparts

> I will take proven C or even static analysed C

This just means you don't understand static analysis as much as you do. A rejection of invalid programs by a strict compiler will always net more safety by default than a completely optional step after the fact.



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

Search: