tines

35 ms·

631.
by tines 4y ago
Why is this being downvoted?
632.
by tines 4y ago
I totally agree, I just don't have that kind of money right now, hence my question about reading proofs.
633.
by tines 4y ago
It's unfortunate that each course is over a thousand USD.
634.
by tines 4y ago
I've seen this, but the proofs I've read there seem targeted toward people with a level of mathematical maturity I don't possess yet.
635.
by tines 4y ago
Does The Foundations of Mathematics focus on performing calculations, or does it have proofs as well? I feel like I'm in a hard place because I'm not a total beginner; I've taken calculus I and II, some discrete math, and I&#
636.
by tines 4y ago
I feel like I need something between Proofs from the Book and Fermat's Last Theorem. PftB is too hard, but I'm a bit beyond popular math books.
637.
Ask HN: Where to Read Proofs?
19 points by tines 4y ago|21 comments
638.
by tines 4y ago
C++ programmer here: which one guarantees valid utf8, and why would a primitive container make guarantees about the values it's storing?
639.
by tines 4y ago
For things like this (whether they "approved" it or are just investigating it or whatever), how does the ability of the government to legislate and regulate intersect with the rights of people to do as they please? For example, if
640.
by tines 4y ago
Probably because of homotopy type theory, yeah. Why do you think the perceived connection is exaggerated?
641.
by tines 4y ago
As a grug-brained developer, I love the spirit of this, but it's kinda hard to read. Maybe the author can publish an English translation? :)
642.
by tines 4y ago
I have an alternate and, I think, unusual view on this subject, which is that Christianity actually teaches that God's existence is, by design, not proven or provable by nature at all. I think this follows from these facts: 1. Faith is
643.
by tines 4y ago
I didn't think this was true, because your body can't create all the chemicals it needs to continue to function, it has to get some from food. See something like https://www.theguardian.com/notesandqueries/que
644.
by tines 4y ago
Can always add a "-vr" term to your search.
645.
The Everett FAQ(hedweb.com)
1 points by tines 4y ago|0 comments
646.
by tines 4y ago
Anders Hejlsberg, who designed C#, had previously designed Delphi, which has some support for generics (and I believe it had them before he left for Microsoft). I think the case may be that they're not making the same mistakes, but tha
647.
by tines 4y ago
Holy shit another Cake fan. Greetings!
648.
by tines 4y ago
I meant "accidental" in the Aristotelian sense: https://plato.stanford.edu/entries/essential-accidental/
649.
by tines 4y ago
I'd say it doesn't actually matter, as long as the population sampled is made clear to the user. If I ask for pictures of Japanese people, I'm not shocked when all the results are of Japanese people. If I asked for "crim
650.
by tines 4y ago
No, because there's at least one male nurse.
651.
by tines 4y ago
Not the person you responded to, but I do see how someone could be hurt by that, and I want to avoid hurting people. But is this the level at which we should do it? Could skewing search results, i.e. hiding the bias of the real world, give
652.
by tines 4y ago
> In fact, I wonder if this sort of technology could reduce the harm caused by people with an interest in disgusting images, because no one needs to be harmed for a realistic image to be created. I am creeping myself out with this line o
653.
by tines 4y ago
Yeah, good point, it's not as simple as I thought.
654.
by tines 4y ago
Not really; the gender of a nurse is accidental, other properties are essential.
655.
by tines 4y ago
> Every dataset is biased. Sure, I wasn't questioning the bias of the data, I was talking about the bias of the real world and whether we want the model to be "unbiased about bias" i.e. metabiased or not. Showing nurses eq
656.
by tines 4y ago
Well first, I didn't say caucasian; light-skinned includes Spanish people and many others that caucasian excludes, and that's why I said the former. Also, they are a minority globally, but the GP mentioned "Western stereotype
657.
by tines 4y ago
This raises some really interesting questions. We certainly don't want to perpetuate harmful stereotypes. But is it a flaw that the model encodes the world as it really is, statistically, rather than as we would like it to be? By this
658.
by tines 4y ago
Great point about the prosperity doctrine. Such a cancer.
659.
by tines 4y ago
The first thing I do when using a new app or operating system is to disable all animations. I even wrote a Firefox extension just to disable the "smooth seek" of the code search tool OpenGrok because it slows me down so much. I ha
660.
by tines 4y ago
A couple of reasons, both to do with the fact that data memory is scarce on embedded systems. One is that it has high memory overhead (every entry includes a pointer), two is that making many small allocations can cause memory fragmentation

More ›