Ownership types for flexible alias protection | Hacker News Reader