3 ms·
If you can solve the halting problem, we can make software that doesn't misbehave. I'm not saying Toyota should be allowed to provide this shoddy piece of soft
by revelation 13y ago
If you can solve the halting problem, we can make software that doesn't misbehave.
I'm not saying Toyota should be allowed to provide this shoddy piece of software in a critical subsystem, but I very much think a) other vendors software will be just as crappy and b) this feels like the court longing for reasons to fault Toyota on something that was still very likely user error, not software misbehaving.
- comex 13y agoIt's not necessary to solve the halting problem to have the kind of protections aircraft have, let alone things like not drastically miscounting the stack space, having memory protection against stack overflow, using ECC RAM, not having 11,000 global variables, etc. Even if it was user error, this isn't even close to a sane design.