Funny enough, a similar trick can be used to give you the Y combinator. Let comp be the 'compose' combinator ((comp f g) x) = (f (g x)) Let R be the 'repeat' or 'self-application' combinator (R x) = (x x) Then (Y f),…
As long as we're discussing video games... It has been my private head canon for a number of years that the Gerudo race in the Legend of Zelda are the result of an attempted gene drive to exterminate Hylians. The fact…
'visualizing' isn't just 'seeing'. Try to think back in your mind to the house in you grew up in. Do you remember where the kitchen, bedrooms, and/or bathrooms were? Do you remember which way the beds/furniture were…
#emacs would be my recommendation. It's a pretty great channel for random discussion/chatter, and every now and then people even discuss emacs.
In Consciousness Explained, Dennet is deliberately not dealing with that problem because he had already written his thesis, a book, and several papers on the subject of content and qualia and that sort of argument. He…
Why wouldn't the following ordering work? {(x,y) | (|x| ≤ |y|) & ((|x| = |y| & x ≠ y) ⇒ x < 0 < y)}
I occasionally hear people complaining about ads on youtube, but I have never seen a youtube ad aside from when random people try to show me a video on their computer. Do people just not use adblock+ any more?
First-order arithmetic with bounded quantification is decidable, but so is arithmetic with unbounded quantification but no multiplication (just addition). So is the elementary theory of real numbers, and elementary…
Funny enough, a similar trick can be used to give you the Y combinator. Let comp be the 'compose' combinator ((comp f g) x) = (f (g x)) Let R be the 'repeat' or 'self-application' combinator (R x) = (x x) Then (Y f),…
As long as we're discussing video games... It has been my private head canon for a number of years that the Gerudo race in the Legend of Zelda are the result of an attempted gene drive to exterminate Hylians. The fact…
'visualizing' isn't just 'seeing'. Try to think back in your mind to the house in you grew up in. Do you remember where the kitchen, bedrooms, and/or bathrooms were? Do you remember which way the beds/furniture were…
#emacs would be my recommendation. It's a pretty great channel for random discussion/chatter, and every now and then people even discuss emacs.
In Consciousness Explained, Dennet is deliberately not dealing with that problem because he had already written his thesis, a book, and several papers on the subject of content and qualia and that sort of argument. He…
Why wouldn't the following ordering work? {(x,y) | (|x| ≤ |y|) & ((|x| = |y| & x ≠ y) ⇒ x < 0 < y)}
I occasionally hear people complaining about ads on youtube, but I have never seen a youtube ad aside from when random people try to show me a video on their computer. Do people just not use adblock+ any more?
First-order arithmetic with bounded quantification is decidable, but so is arithmetic with unbounded quantification but no multiplication (just addition). So is the elementary theory of real numbers, and elementary…