This reminds me of https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_Ref...
The sole and entire purpose of Diverse Double-Compiling is addressing Thompson's Trusting Trust: https://dwheeler.com/trusting-trust/
I didn't know there's a solution, thanks!
I'm also a fan of https://www.teamten.com/lawrence/writings/coding-machines/
Reflections on Trusting TRust.
tRust
The sole and entire purpose of Diverse Double-Compiling is addressing Thompson's Trusting Trust: https://dwheeler.com/trusting-trust/
I didn't know there's a solution, thanks!
I'm also a fan of https://www.teamten.com/lawrence/writings/coding-machines/
Reflections on Trusting TRust.
tRust