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 3 months 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.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact