Hardware people are not the pinnacle of engineering correctness — that would go ... | Hacker News

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

		threatofrain on Oct 5, 2023 \| parent \| context \| favorite \| on: Is Software Engineering Real Engineering? Hardware people are not the pinnacle of engineering correctness — that would go to people who do formal verification. Unfortunately not even mathematicians think the price is right.

sentinalien on Oct 5, 2023 | [–]

Formal verification is actually heavily used in the semiconductor industry these days

jesse__ on Oct 5, 2023 | [–]

Agreed in full.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact