Hacker News new | ask | show | jobs
by throwaway_pdp09 2126 days ago
> could be hardened through formal verification

Yeah... but that only works by you verifying your assumptions. If your assumptions are wrong, you remain screwed. I'm all for it but it's not perfection.