I apologize for using the word subtle. What I should have said is I don't unders... | Hacker News

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

login

philzook 9 months ago | parent | context | favorite | on: The C bounded model checker: criminally underused

I apologize for using the word subtle. What I should have said is I don't understand the topic and reading about it has left me a sense that one should be very careful.

jacquesm 9 months ago [–]

You're spot on. The CVE lists are filled with people who thought they understood this stuff better than they really did.

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