0.27% of men in the US are named Benjamin.
Around 330750 US men are named Benjamin!
...there we go. ^^;;
So my MacBook Pro died again. Apparently NVIDIA made bad chips. And the heat wave over the weekend triggered the failure - I think my room was at…