> For quite a bit of software these days, the correct program and the description of the correct program are pretty similar artifacts. My brain was going menta

> For quite a bit of software these days, the correct program and the description of the correct program are pretty similar artifacts. My brain was going mental mobius strip when I was originally responding and thinking of something along these lines. Maybe what I was getting at is that the an idea like the Halting problem doesn't apply as viciously to hardware?