In the oldest days, we had formal verification of software. That didn't seem to ... | Hacker News

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

		1970-01-01 on Jan 2, 2024 \| parent \| context \| favorite \| on: We Could Fix Everything, We Just Don't In the oldest days, we had formal verification of software. That didn't seem to stick around after Microsoft took over the PC world.

charcircuit on Jan 2, 2024 [–]

I don't think there was ever a time this was true industry wide.

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