PS3's hardware has also been used to build supercomputers for high-performance computing. Who clustered 18 PS3s?