nipah

9 ms·

31.
by nipah 2y ago
If you don't believe in God, actually you NEED to buy this, or buy into some other methaphysical eternalism that is as hard to prove as truly random events. The universe either started randomly or it was created, and the existence eith
32.
by nipah 2y ago
It does not introduce, but maybe the combination of both does (see Searle points in freedom and neurobiology). You also need to prove that the future is determined, simply assuming so is an error.
33.
by nipah 2y ago
I love how it is just assumed that "we can" and "we will", a good way to confidently tell you will burn human resources until you get to the point you want. Meanwhile, the most advanced simulations are still rough approx
34.
by nipah 2y ago
It could also be impossible, which for some reason people hardly consider.
35.
by nipah 2y ago
This is actually not that true, what exactly are you saying with "replaced certain circtuits in the brain with man-made equivalents and it continues to work"? I'm certain I never saw something "man-made" like that u
36.
by nipah 2y ago
> If you defer to the type system then you're moving some, but not all, of the documentation into the type system, fragmenting the information. Is that fair to other developers? In reality, you're going to want to write the tes
37.
by nipah 2y ago
> The results of software written in languages with robust type systems. Having mathematical guarantees that your program is correct is a good place to be, but climbing the mountain to get there is, well... It is harder, obviously, but i
38.
by nipah 2y ago
> Then why do you think nobody uses them (outside of certain narrow tasks)? It is hard to deny the results. > The reality is that they are intractable. For the vast majority of programming problems, testing is good enough and far, far
39.
by nipah 2y ago
> What realistic contender doesn't have all the same general features as Go? It doesn't exactly have many to choose from, none of them particularly esoteric, and most of them bare necessities required of any language. I would s
40.
by nipah 2y ago
Hmmm, I think this is an interesting discussion. There's many sides I need to respond here, maybe I will not be able to cover everything but here I go. See, I fundamentally disagree that those languages are "unusable beyond very n
41.
by nipah 2y ago
But you said: > I was trying ot push .net as our possible language for somehow high performance executables. Seeing this means I'll stop trying to advocate for it. If even this team doesn't believe in it. Which made me naturall
42.
by nipah 2y ago
Many people say this, but it is obviously bullshit. But most things people say all the time is bullshit, so I would not bother with it that much, it's not like people are saying "Programming languages don't matter, see here m
43.
by nipah 2y ago
Don't think so, he stated one of the most important reasons was code compatibility, not specifically a good concurrency support (but this was important, indeed). I think even the most functional languages would not be easily compatible
44.
by nipah 2y ago
> At some point you start to notice that your tests end up covering all the same cases as your advanced types I don't think this is fair [at all], you use the types precisely to not need to be so overreliable on tests, they either t
45.
by nipah 2y ago
I don't think TypeScript is an example of what people would call a "properly expressive type system". Sure, it is very expressive, but it is made to cover all the gaps JavaScript as a language has in a generally type safe man
46.
by nipah 2y ago
This is not "the main reason", lol, it was never stated as such. The type system could be way more powerful and, having the same general features they would probably had still picked it up.
47.
by nipah 2y ago
Let's not assume C#'s type system is THAT much better, it is also a mess in dozens of cases and is hardly pleasant from a DX standpoint.
48.
by nipah 2y ago
But they not stated it is <because> of C#'s performance, so I don't think this is THAT problematic. But I agree that it would be fine to see them dogfeeding on their language for such a massive project, and a project that is
49.
by nipah 2y ago
Sorry for your dictatorial government, buddy.
50.
by nipah 2y ago
I think the conclusion is a stretch, tho, you can only know they are as transparent as you can know an american made one is, as far as I know the biases can be way worse, or they can be the exact same as of american models (as they supposed
51.
by nipah 2y ago
Ask in the oficial website.
52.
by nipah 2y ago
Yeah, on their oficial site it is blocked (ask anything in their chat about the events, they will just stop mid sentence unless you mask the input in some way), but I don't think this is a think intrinsic to the model (some of those ce
53.
by nipah 2y ago
> It has just been empirically proven that the market value of the developers working on GPT is actually dramatically lower than the payment they got. Completely and absolutely false, there is no "empirical proof" of this. And
54.
by nipah 2y ago
I love how social engineering entails you to look down on other people's beliefs, and describe to them how it works like it was some kind of understood machinery. In reality you are as much inside this pit as anyone else, if it is how
55.
by nipah 2y ago
C# absolutely have an unsafe mode, basically since version 1. You can use pointers, deal with stackallocated memory and all of that, in recent versions you can even natively allocate and deallocate memory using the `NativeMemory` type. Of c
56.
by nipah 2y ago
> Rust is just one part of a never ending cycle of people trying to reinvent programming. Which is good. Programming is an open field, ideas are constantly popping in and out and you sometimes need to reinvent things to prove that they a
57.
by nipah 2y ago
This is pure bs considering the massive amount of large commercial projects written in C# that depends on a lot of community-made packages.
58.
by nipah 2y ago
I think this could hardly be a strong point, human artists can also reproduce verbatim art from other humans with reference or even from memory in some cases, the question would be more on the terms of "can it generate original art bas
59.
by nipah 2y ago
> Why does it so often seem that the people complaining about censorship are the ones punching down? You mean, pushing down and saying people should be banned... like you? [Either people need to be banned who insult others and use slurs