>And even then, you need to trust the machine.

At the end of the day, it even goes further than that -- you have to trust the people who build the machines.

Ken Thompson said it best in his Turing Award talk: https://www.archive.ece.cmu.edu/~ganger/712.fall02/papers/p7...