Software is incredibly easy to verify compared to other domains. Rice, Turing, a... | Hacker News

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

		Verdex 7 months ago \| parent \| context \| favorite \| on: GitHub CEO: manual coding remains key despite AI b... `Software is incredibly easy to verify compared to other domains.` Rice, Turing, and Godel would like a word.

sothatsit 7 months ago [–]

compared to other domains

It's right there in the quote.

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