Hacker News new | ask | show | jobs
by angry_octet 7 days ago
Incredibly uninformed comment. The formally verified part is the high confidence component that is the anvil to hammer out bugs in the unverified components.