Hacker News new | ask | show | jobs
by darpa_escapee 3630 days ago
Humans program computers. There's a reason standards like MISRA C exist: it is critical to minimize error in human abstractions (code) which run on systems that put people's safety in jeopardy. Humans aren't wired to emulate machines perfectly in their minds, yet computers will do exactly what we tell them to do. You are implicitly placing trust in the humans who programmed those computers.

We saw how human factors can complicate the correctness of code in the Toyota unintended acceleration case. The instruction fed to the system by its programmers were incorrect and not up to industry standards. Computers caused the accidents in that case, despite human intervention by drivers.