Viewing profile — nh43de

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 ever…

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 inte…

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 techniqu…

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 …

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 a…