The software isn’t the problem. In fact, I think that XKCD is on the wrong path. There are verified coding practices that give high reliability. They tend to be used in aerospace or medical devices where people could die if the code is wrong. The rest of the industry has no good reason to adopt them, though, because they take 10 times as long to do anything.
The real reasons against it are articulated better by Tom Scott, who focuses on the usability aspect. A voting system would have to work for everyone, and writing software to do that while also providing certain security guarantees is difficult.
The software isn’t the problem. In fact, I think that XKCD is on the wrong path. There are verified coding practices that give high reliability. They tend to be used in aerospace or medical devices where people could die if the code is wrong. The rest of the industry has no good reason to adopt them, though, because they take 10 times as long to do anything.
The real reasons against it are articulated better by Tom Scott, who focuses on the usability aspect. A voting system would have to work for everyone, and writing software to do that while also providing certain security guarantees is difficult.