What is noninterference, and how do we enforce it? | Hacker News Reader