While his puzzle books obviously deserve a lot of praise, Smullyan's textbooks and papers definitely shouldn't be overlooked. There's a lot of wonderful gems to be found there. Diagonalization and Self-Reference is the…
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),…
Eh, I think generally if you want to set up linux for a non-technical person, regardless you're going to need to personally spend a couple hours configuring and setting everything up for them initially, so the…
I think your wording was a bit too hostile, but I basically agree. If you yourself are comfortable with Debian, you can just install stable and ignore it for years in a way you just can't with Mint or Ubuntu. Every time…
Talk your grandmother through anything GUI related over the phone and compare. Spend half an hour trying to help her figure out which button she should press only to find out at step 3 she opened facebook instead of the…
This has been my experience as well. So, background: I've maintained computers for various people close to me for maybe 6-7 years or so. A couple computers for my mom (laptop and desktop, with both replaced once or…
The Frege/Russell definition of numbers is pretty cool from that sort of perspective. The general style of their definitions is to temporarily sidestep the question of what X type of number is, and first ask to what…
Eh, I do still wish super/subscript characters in unicode were a bit more thorough. Several times a day I randomly remember the fact that every lowercase letter in the English alphabet except q has a unicode superscript…
tl;dr: "One day the author got stuck in traffic and developed an intense burning hatred for the state of Delaware. Here before you is a literary record of his subsequent descent into madness and paranoia." Also from…
#emacs would be my recommendation. It's a pretty great channel for random discussion/chatter, and every now and then people even discuss emacs.
oleg and friends claim to have disproven the 'pick two' thing. See their 'Stream Fusion, to Completeness' paper [1], and the associated Strymonas library [2]. [1] https://yanniss.github.io/streams-popl17.pdf [2]…
Honestly? Google. For me, it's not about whose the bigger scarier influence, or who does more evil. It's just based on how practically I see either turning out. =Microsoft Acquisition= For a few months to a year,…
That was the point of the first few paragraphs at least, but unfortunately the actual review is much longer. The point doesn't seem to be especially fair to me for two reasons: First, what one is aware of is not…
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…
This is a really terrible review. I really want to say something that contributes more, but my god, this person does not understand or even care to understand Dennet. Again and again, he elides over all of Dennet's…
Ah, right. Makes sense.
Why wouldn't the following ordering work? {(x,y) | (|x| ≤ |y|) & ((|x| = |y| & x ≠ y) ⇒ x < 0 < y)}
You don't need the axiom of choice for the countable case, which is all that's required for computer science.
Ah. Yea, I use firefox for android for mostly that reason.
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…
While his puzzle books obviously deserve a lot of praise, Smullyan's textbooks and papers definitely shouldn't be overlooked. There's a lot of wonderful gems to be found there. Diagonalization and Self-Reference is the…
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),…
Eh, I think generally if you want to set up linux for a non-technical person, regardless you're going to need to personally spend a couple hours configuring and setting everything up for them initially, so the…
I think your wording was a bit too hostile, but I basically agree. If you yourself are comfortable with Debian, you can just install stable and ignore it for years in a way you just can't with Mint or Ubuntu. Every time…
Talk your grandmother through anything GUI related over the phone and compare. Spend half an hour trying to help her figure out which button she should press only to find out at step 3 she opened facebook instead of the…
This has been my experience as well. So, background: I've maintained computers for various people close to me for maybe 6-7 years or so. A couple computers for my mom (laptop and desktop, with both replaced once or…
The Frege/Russell definition of numbers is pretty cool from that sort of perspective. The general style of their definitions is to temporarily sidestep the question of what X type of number is, and first ask to what…
Eh, I do still wish super/subscript characters in unicode were a bit more thorough. Several times a day I randomly remember the fact that every lowercase letter in the English alphabet except q has a unicode superscript…
tl;dr: "One day the author got stuck in traffic and developed an intense burning hatred for the state of Delaware. Here before you is a literary record of his subsequent descent into madness and paranoia." Also from…
#emacs would be my recommendation. It's a pretty great channel for random discussion/chatter, and every now and then people even discuss emacs.
oleg and friends claim to have disproven the 'pick two' thing. See their 'Stream Fusion, to Completeness' paper [1], and the associated Strymonas library [2]. [1] https://yanniss.github.io/streams-popl17.pdf [2]…
Honestly? Google. For me, it's not about whose the bigger scarier influence, or who does more evil. It's just based on how practically I see either turning out. =Microsoft Acquisition= For a few months to a year,…
That was the point of the first few paragraphs at least, but unfortunately the actual review is much longer. The point doesn't seem to be especially fair to me for two reasons: First, what one is aware of is not…
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…
This is a really terrible review. I really want to say something that contributes more, but my god, this person does not understand or even care to understand Dennet. Again and again, he elides over all of Dennet's…
Ah, right. Makes sense.
Why wouldn't the following ordering work? {(x,y) | (|x| ≤ |y|) & ((|x| = |y| & x ≠ y) ⇒ x < 0 < y)}
You don't need the axiom of choice for the countable case, which is all that's required for computer science.
Ah. Yea, I use firefox for android for mostly that reason.
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…