16 GiB would be enough but 32 GiB would be preferable, given equal speed, power consumption and neglible increase in unit retail cost (up to maybe 20€). On my work computer arch linux I have 13 GiB /usr and 40 GiB /var (mostly cache), so I'm not confident 16 GiB would let me install stuff...