Sniffnoy

61 ms·

751.
by Sniffnoy 7y ago
Other commenters have already pointed out some of the ways you're confused about categories, but let me explicitly answer your question of, why doesn't the functor include the mapping on the objects and not just on the morphisms?
752.
by Sniffnoy 7y ago
> Hmm. if haskell types make up a small category that means 'a' and 'f a' are sets. I can't imagine a case where two sets cannot have a mapping between them. This is irrelevant. The question isn't, does the
753.
by Sniffnoy 7y ago
> There wouldn't be so much money in gaming those things if the AI wasn't doing such a poor job. This isn't true at all. When the process works well, those who it excludes often attempt to spend money to subvert it. Ther
754.
by Sniffnoy 7y ago
See Redoubt's comment. The use of "shocked, shocked" is meant ironically, in reference to a scene from Casablanca. In general when you see the word "shocked" doubled like that it basically always means this.
755.
by Sniffnoy 7y ago
Non-AMP link: https://www.cbsnews.com/news/christopher-columbus-letters-st...
756.
by Sniffnoy 7y ago
> It can also be coated with other materials: a thin sheet of steel coated with an even thinner layer of tin makes the light, sturdy, and non-corrosive tin cans that now hold much of our food. Are tin cans still used? I was under the im
757.
by Sniffnoy 7y ago
> Someone submit a pull request to abolish the Senate Unfortunately, that's basically the one amendment that the Constitution says is illegal to make. (Ignoring parts of the Constitution that are no longer in force.) That said, you
758.
by Sniffnoy 7y ago
OK, let's say we institute this cap. The obvious thing to do then is to spawn off officially-separate parties that can nominate more candidates for you. You could outlaw that, I suppose, but now we're getting into the area of th
759.
by Sniffnoy 7y ago
I don't think Borda count is an acceptable alternative. It's vulnerable to the teaming problem; elections would turn into contests of which party can nominate the most candidates. The simplest alternative you can actually get peo
760.
by Sniffnoy 7y ago
Hm, so, Feldman claims that it wasn't the OO that made C++ popular, but rather the other features added on top of it that C with Classes didn't have. But one of those features that C with Classes didn't have was virtual func
761.
by Sniffnoy 7y ago
It's not him redirecting that link; he redirects all links from HN by checking the Referer. If you copy and paste the URL it works fine.
762.
by Sniffnoy 7y ago
I'm not sure what you mean by the word "selfishness", but you don't seem to be using it in the usual way. "Selfishness" usually refers to self-interested action that is or attempts to be rational, not irration
763.
by Sniffnoy 7y ago
This isn't a matter of selfishness, but groupishness .
764.
by Sniffnoy 7y ago
That is not correct. This is an essay by sociologist Bruno Latour about the key, not a technical document.
765.
by Sniffnoy 7y ago
So, there's one thing here that strikes me as really weird. And I think it's best summed up at the end, where it discusses closing over a loop variable. It discusses how if you close over a loop variable, people expect that each
766.
by Sniffnoy 7y ago
The term you are looking for is "assurance contract": https://en.wikipedia.org/wiki/Assurance_contract
767.
by Sniffnoy 7y ago
You may find it too confrontational, but I always really liked your old article where you highlighted problems in existing SNES emulators. It was quite interesting!
768.
by Sniffnoy 7y ago
This seems to be an abstract for a talk rather than the actual full paper?
769.
by Sniffnoy 7y ago
She doesn't claim that she couldn't teach them. She claimed that they were bad at formal reasoning.
770.
by Sniffnoy 7y ago
Thanks! To repeat it here: we assign each piece a piece a vector of 3 bits; thinking of these vectors as numbers from 0 to 7 (or rather 0 to 6, since 111 is unused), the pieces go in the order (L, J, I, O, Z, S, T). Note that this assignmen
771.
by Sniffnoy 7y ago
That doesn't make sense -- how would a negative value of num be greater than the positive value that is (int)limit? It must be something else... Edit: Oh, I see what I missed -- I was thinking of the danger as directly passing too l
772.
by Sniffnoy 7y ago
Oh yikes it's not left/right symmetric! Do you have a direct description of the algorithm? Extracting it from those forum posts seems a bit difficult.
773.
by Sniffnoy 7y ago
An artificial memory would be if they directly altered the system for storage of memories (however that works), rather than spoofing inputs to that system.
774.
by Sniffnoy 7y ago
This seems less like an artificial memory and more like a real memory of an artificial experience.
775.
by Sniffnoy 7y ago
Non-mobile link: https://jeff-vogel.blogspot.com/2019/08/i-am-cheapest-bastar...
776.
by Sniffnoy 7y ago
So once we filter out the ones that are due to the 2013 and 2015 server misconfigurations, we get: 1. Creating a talk page for "Gun politics" in 2001; 2. Adding links to the Russian versions of pages on Japanese eras/periods
777.
by Sniffnoy 7y ago
Minor note, the word you're looking for here is "cue", not "queue".
778.
by Sniffnoy 7y ago
Non-mobile link: https://googleprojectzero.blogspot.com/2019/08/the-many-poss...
779.
by Sniffnoy 7y ago
Aha! Thanks, hopefully with that search term I can maybe find what I was thinking of. :)
780.
by Sniffnoy 7y ago
I mean, that's the obvious answer, but I recall reading a thing about why it wasn't actually that simple, how swapping out the tRNAs didn't actually have the effect you would expect. Like, obviously the anticodons match the

More ›