nh43de

5 ms·

1. 1.▲
   by nh43de 5y ago

   It seems to be the definition of general superintelligence that they are putting forth here. That superintelligence is a turing machine that "knows everything" - e.g. it knows every possible program that can be run (e.g. including
2. 2.▲
   by nh43de 5y ago

   This is probably the best and most relevant argument. But still - aren't the companies still pulling the strings? If FB wanted to prioritize things that got people outside and interacting with their community (and off FB), could they?
3. 3.▲
   by nh43de 5y ago

   From the paper: "Interestingly, reduced versions of the decidability problem have produced a fruitful area of re-search: formal verification, whose objective is to produce techniques to verify the correctness of computer programs and
4. 4.▲
   by nh43de 5y ago

   The most depressing day of my life was the day I learned the proof of Godel's Incompleteness Theorem and the Insolubility of the Halting Problem. Attributing more than is deserved to the antics of classical computers is still wildly pr
5. 5.▲
   by nh43de 5y ago

   Same here. When I first experienced HD VR, I knew it had the power to be extremely addictive. However, the plug and play experience isn't there. Yet. Still waiting for the killer app.