That would be like saying that you can verify the software that CERN uses to mea... | Hacker News

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

		engineeringwoke 72 days ago \| parent \| context \| favorite \| on: Cloudflare outage should not have happened That would be like saying that you can verify the software that CERN uses to measure the Higgs Boson because we verified general relativity.

DrSusanCalvin 72 days ago [–]

> You can't formally verify anything that uses consensus

What did you mean by this then? There certainly seems to be nothing special about consensus that makes it any harder to verify than anything else. It's not fundamentally impossible to verify the software that CERN uses, it just takes some work.

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