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?

Zuckerberg: [...]

Sign in to participate in the conversation

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !