To me it looks like formal verification is going to be the answer. We're going t... | Hacker News

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

choeger 54 days ago | parent | context | favorite | on: Cybersecurity looks like proof of work now

To me it looks like formal verification is going to be the answer. We're going to move up the ladder and write formal specs and proofs soon.

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