PS3's hardware has also been used to build supercomputers for high-performance computing. What company bought RapidMind in 2008?