Your computer is leaking: a defence of dynamic types | Hacker News Reader