3 ms·
I don't know if I agree with this. I just don't think it's been done well.
by dimgl 7y ago
I don't know if I agree with this. I just don't think it's been done well.
- profmonocle 7y agoIt could be done well. After all, for decades we've been using software for safety-critical applications like flight computers, medical devices, industrial machines, etc. There's no reason you couldn't write extremely reliable election software by applying that level of extreme rigor, but it seems like the vendors aren't doing so.
- chaps 7y agoPlease no. https://www.wired.com/story/boeing-787-code-leak-security-flaws/ https://www.wired.com/story/boeing-787-code-leak-security-fl...