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