alt Hacker News> You wouldn't use a C++ compiler binary provided by CCP, right?
Racism aside, one can prove a compiler is correct. It can be shown beyond a shadow of a doubt that a compiler produces correct output for a given input.
Would you use such a piece of software? Or is the boogeyman too scary?
Replies
blooalien • today at 12:06 AM
> "Racism aside" ...
I'm not sure how an unwillingness to trust the Chinese Communist Party is in any way "racist" exactly. I know lots of Chinese people I'm fairly sure I could trust, but the Chinese Communist Party ain't among 'em. Do you trust them?
grim_io • yesterday at 10:50 PM
Authoritarian communism is not a race.
Just because a compiler binary compiles program A without a backdoor, it does not prove it won't add a backdoor to program B.
➕ show 1 reply
You might want to read "Reflections on Trusting Trust": https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_Ref...