Embed Notice

Consider for a moment the nightmare shared so widely by serious computer scientists, who have confronted the fact that it's fundamentally impossible (or at least more difficult than we can manage) to verify what a compiler does, which means that code written in high-level languages (all of it) is deeply untrustworthy.

Now imagine that lack of trust given substance in the physical world. Anything you didn't make yourself might be a bomb, and there's no practical way to check or rule it out.