Hacker News new | ask | show | jobs
by Verdex 352 days ago 

  Software is incredibly easy to verify compared to other domains.
Rice, Turing, and Godel would like a word.
1 comments
sothatsit 348 days ago
compared to other domains

It's right there in the quote.

link