Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

The trouble with KTH is that somebody could go through all of this song and dance, and it still wouldn't mean a thing because how do you trust them?


You don't trust them. The result of this endeavor is not a trustworthy compiler, the result is a procedure to generate one. Every step in the procedure can and should be verified independently. What this buys you is a procedure that produces a trustworthy compiler given your initial environment is trustworthy. The latter still being an issue of course.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: