mrmyers

6 ms·

1.
by mrmyers 8y ago
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 single
2.
by mrmyers 8y ago
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
3.
by mrmyers 8y ago
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. Personally, I feel like if we want to foster research
4.
by mrmyers 8y ago
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 to walk by and steal my lovely-smelling air by liter
5.
by mrmyers 8y ago
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 that their offspr
6.
by mrmyers 8y ago
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 difference of editing sou
7.
by mrmyers 8y ago
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 I've tried
8.
by mrmyers 8y ago
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 start menu, and that
9.
by mrmyers 8y ago
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 twice), two laptops
10.
by mrmyers 8y ago
'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/furn
11.
by mrmyers 8y ago
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 sort of thing it
12.
by mrmyers 8y ago
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 character, and
13.
by mrmyers 8y ago
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, ^[char] or _[char] will become superscript/subscript unicode
14.
by mrmyers 8y ago
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 Delaware here.
15.
by mrmyers 8y ago
#emacs would be my recommendation. It's a pretty great channel for random discussion/chatter, and every now and then people even discuss emacs.
16.
by mrmyers 8y ago
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.
17.
by mrmyers 8y ago
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, everything is mos
18.
by mrmyers 9y ago
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 necessarily what one
19.
by mrmyers 9y ago
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 was also a student o
20.
by mrmyers 9y ago
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 reasoning only to se
21.
by mrmyers 9y ago
Ah, right. Makes sense.
22.
by mrmyers 9y ago
Why wouldn't the following ordering work? {(x,y) | (|x| ≤ |y|) & ((|x| = |y| & x ≠ y) ⇒ x < 0 < y)}
23.
by mrmyers 9y ago
You don't need the axiom of choice for the countable case, which is all that's required for computer science.
24.
by mrmyers 9y ago
Ah. Yea, I use firefox for android for mostly that reason.
25.
by mrmyers 9y ago
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?
26.
by mrmyers 9y ago
Modeling the world generally (as in, why mathematics works and can apply to the real world): =Bertrand Russell= * An Inquiry into Meaning and Truth * A Theory of Knowledge * Logic and Knowledge =W.V. Quine= * Word and Object
27.
by mrmyers 9y ago
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 geometry. Meanwhile, ther