20110520 tech: 9 things to know about supercomputers