3 ms·

>it should be possible to prove the firmware error-free perhaps they tried, but got stuck on the bit where they tried to figure out if it halts or not.

• nitrogen 5y ago
  This is probably a joke, but tbe halting problem is way overused and doesn't apply in situations where a non-Turing-complete computer is running a known (not arbitrary) program.
  • alasdair_ 5y ago
    Yes, definitely a joke :)