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

> This is true when using compilers as well, right?

No, because ...

> See Reflections on Trusting Trust" by Ken Thompson

That still results in `f(x) -> y`, not `f(x) -> P(y)`.

 help



Consider applying for YC's Summer 2026 batch! Applications are open till May 4

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

Search: