psygnisfive

15 ms·

1. 121.▲
   by psygnisfive 17y ago

   No, that's not what it "basically means". Firstly, the incompleteness theorem (there's only one) is not about computation but about proofs; specifically that there are some things within an axiomatic system which are true which cannot be pr
2. 122.▲
   by psygnisfive 18y ago

   Except that the hypothesis is not that there's at least one person that would let an AI out, but that ALL PEOPLE would let the AI out.
3. 123.▲
   by psygnisfive 19y ago

   I don't program in Haskell, but I find the language to be incredibly alluring and appealing because it seems almost like a way to access the Comp. Sci. gnosis. It's so different, and so incredibly elegant and amazing in what it does and how
4. 124.▲
   by psygnisfive 19y ago

   I believe he took inspiration from this: http://en.wikipedia.org/wiki/Television I'll be brutally honest: Not cool. It's old and boring and not in the least difficult. The software is what would've taken a while to make, and even that wou