Sniffnoy

60 ms·

721.
by Sniffnoy 7y ago
Note that in mathematics, when not otherwise specified, sets are typically compared by inclusion, not by cardinality. No mathematician would say "set Y lies between X and Z" to mean |X|<|Y|<|Z| and expect to be understood,
722.
by Sniffnoy 7y ago
The standard term is "definable", not "useful": https://en.wikipedia.org/wiki/Definable_real_number But yes, Chaitin's constant is an example of a number that is definable but not computable.
723.
by Sniffnoy 7y ago
None of this is somehow secret. The standard name for this is "definable"[0]. Although, one has to be really careful with this sort of thing; there are apparently a number of subtle logical issues[1] that come up when talking ab
724.
by Sniffnoy 7y ago
XKCD did not at all invent the idea of putting false information on Wikipedia.
725.
by Sniffnoy 7y ago
That's not a good choice of counterexample; they're generally not considered separate species these days, largely because of that.
726.
by Sniffnoy 7y ago
None of these examples are passive constructions! (The first two don't even involve verbs.) Apologies for possibly being pedantic, but I do think this is necessary to point out. A lot of people seem to think that "passive"
727.
by Sniffnoy 7y ago
Note that you've linked to the thread containing the comment rather than the actual comment itself. The comment itself is here: https://www.reddit.com/r/reddit.com/comments/1xz13/in_1974_x...
728.
by Sniffnoy 7y ago
Minor note, the statistician in question was Abraham Wald: https://en.wikipedia.org/wiki/Abraham_Wald Edit: Well, assuming it happened, as going by other comments here maybe it didn't!
729.
by Sniffnoy 7y ago
Oh hey Mickey :) Obviously, if what I really need is security, these aren't overriding concerns! But I think part of the point is that you should be using these things even when you don't need security -- otherwise when you
730.
by Sniffnoy 7y ago
This is all true, but it's still a real problem that a secure messaging service with the ergonomics of email doesn't exist at the moment. No, I'm not going to use Signal instead; I mean, I do use Signal, but it has the erg
731.
by Sniffnoy 7y ago
I'm going to say the same thing I said last time this came up -- so what should we use instead, then? What do we use if we want secure messaging, but with the (social) affordances of email ? There still doesn't seem to be any a
732.
by Sniffnoy 7y ago
My question is, where's the unicode equivalent of this? :)
733.
by Sniffnoy 7y ago
Clarification: This is about bacteria that hide inside cells to avoid the immune system; it's about how they then prevent apoptosis of the host cell, not of themselves (which wouldn't really make sense).
734.
by Sniffnoy 7y ago
The map doesn't seem to show the free out-of-system transfers between Inwood 207th St and the nearby 1 stops, either. Edit: Although oddly it does show the one between Lexington Ave/63rd St and Lexington Ave/59th St. Huh.
735.
by Sniffnoy 7y ago
> This is part of the nature vs nurture debate that has been argued for millennia. People try to decide which is more critical. If you read the article, though, it isn't . The article claims that sex differences are large; it expl
736.
by Sniffnoy 7y ago
This is not correct. I think your basic mistake here is thinking that sizes of infinite sets has to be measured by cardinality. Yes, that's one way, but usually not the most useful way; it's a very crude measure. Its only real a
737.
by Sniffnoy 7y ago
Already linked in a reply by shantly, but see also the Lyttle Lytton contest, which requires entry be short rather than rambling on: http://adamcadre.ac/lyttle.html
738.
by Sniffnoy 7y ago
After reading this article, I still don't understand what problem these were solving that is now solved by other means. Why was there a need to rapidly transport cash around the store in the first place? This apparently isn't ne
739.
by Sniffnoy 7y ago
My understanding is that's not really a sum type, though -- e.g., you couldn't use it to add a type to itself, only to add distinct types to each other.
740.
by Sniffnoy 7y ago
Non-mobile link: https://hanzismatter.blogspot.com/2006/08/gibberish-asian-fo...
741.
by Sniffnoy 7y ago
Note, that link is actually a link to a tag page; it just happens that the post you're trying to point out is the only post with that tag. The actual post link is here: http://www.bldgblog.com/2009/06/nynex-e
742.
by Sniffnoy 7y ago
Epic uses MUMPS, but a nurse would not typically be interacting with that side of it...
743.
by Sniffnoy 7y ago
You, uh, might want to learn to recognize irony a bit better. (To make it absolutely explicit: pgcj_poster is not relating a story that actually happened. They're taking on a fictional persona -- and relating a fictional story that ha
744.
by Sniffnoy 7y ago
We're talking about genetic therapies that would make cells less prone to mutating into cancerous cells. This would have no effect on cells that are already cancerous, introduced from an outside source.
745.
by Sniffnoy 7y ago
No, the tumor is the cells growing out of control, not some separate thing that acts on the genes of nearby cells. Once cells have mutated into a tumor, it's a bit late to make them less prone to doing so.
746.
by Sniffnoy 7y ago
Non-mobile link: http://www.righto.com/2019/11/ibm-sonic-delay-lines-and-hist...
747.
by Sniffnoy 7y ago
I'm a little confused as to what this does. Is this just Euclidean distance, or is it meant to be used for longitude/latitude? The article doesn't make it clear.
748.
by Sniffnoy 7y ago
> Granted, infinite sets like aleph-0 and -1 are typically considered both open and closed This statement is meaningless. It makes no sense to speak of whether a set is open or closed outside the context of a topology. Also, like... in
749.
by Sniffnoy 7y ago
> Can you clarify this? I can't define a -> f a because the functor can't determine one? In mathematics, it's important to distinguish between "an X such that there exists a Y" and "an X together with a Y
750.
by Sniffnoy 7y ago
No. It's not a -> f a. It's * -> *. There is no a -> f a here. You are simply mistaken in thinking that any such thing is part of the definition of a functor.

More ›