@neil I think they are if everything from the firmware to the user-land applications have been formally described and verified, are entirely open-source and the hardware has redundant verification e.g. ECC.
That is to say, computers are not reliable today.
@proactiveservices @neil is that an unrealistic burden of proof?
