Fujitsu launches made-in-Japan next-generation CPU and the pages you don't build

Part of the question may be how do you formally verify Facebook? We'll probably be stuck with normal testing and at least skimming code for a while.