Congressman: Mr. Zuckerberg, are you aware that your company uses programming languages susceptible to the halting problem? Are you further aware that your infrastructure is built upon formal axiomatic systems in which some true statements cannot be proven?
@haym Facebook is too big to Halt.
Welcome to your niu world ! We are a cute and loving international community Ｏ(≧▽≦)Ｏ !