5 ms·
“source code is compiled twice: once with a second (trusted) compiler” Here I stopped reading.
by fdik 12y ago
“source code is compiled twice: once with a second (trusted) compiler”
Here I stopped reading.
- Isamu 12y agoWell, if you are unsure if you can trust the second compiler (e.g. you didn't write it, audit it, bootstrap it yourself) you can just add a third (slightly more trustedworthy) compiler. After that the infinite stack of turtles will take over and make sure it is asymptotically trustworthy.