What's the size of that vector, anyway? | Hacker News Reader