Viewing profile — mrmyers

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. Dia…

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

I don't think copying is bad. Copying is what's beautiful about Capitalism, it reduces everything to competition around the margins in cut-throat markets, with tons of choice. Pers…

Let's say I spend $300 and countless hours growing an amazing garden of especially fragrant plants. Do you honestly think it should not be illegal for some random guy on the street…

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

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 …

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

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

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

'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 remembe…

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 …

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

Emacs already has you covered. Good old C-x RET C-\ TeX will switch your input method to TeX, converting \alpha etc to unicode alpha, etc for most math symbols. Additionally, ^[cha…

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

#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.g…

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

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: Fir…

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…

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

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.