aatd86

8 ms·

121.
by aatd86 11mo ago
And 0^0 x 2
122.
by aatd86 11mo ago
you're wrong. 1 + 1 = 10
123.
by aatd86 11mo ago
But that wouldn't still explain why searches for the term has decreased. Besides, people in general do look up to the online documentation or links to the documentation from stack overflow. Seems pretty obvious looking at the graph: h
124.
by aatd86 11mo ago
No, you see the trends. You see that people have been looking less and less for jQuery and more and more for React. But React hasn't reached the height of jQuery at its peak. It is the more reliable proxy.
125.
by aatd86 11mo ago
But if you compare google trends you will find that the crossover point of react vs jQuery was somewhere around 2018. In other terms, jQuery usage was much more widespread but it is not used for new projects anymore.
126.
by aatd86 11mo ago
> the world seems to have settled on using React. The world might have, but I personally have not!!! x( (I don't think the world really has, the same way the world moved on from jQuery at some point :) and jQuery was probably more w
127.
by aatd86 11mo ago
> the predicate is not used for anything at all at run time. It is used for its value when declaring a new variable of a given type at runtime too. It has to be treated as a special predicate. The allocator needs to be aware of this. Ru
128.
by aatd86 11mo ago
Didn't the current LLMs stem from this...? Or it might be Google Brain instead. For Google X, there is Waymo? I know a lot of stuff didn't pan out. This is expected. These were 'moonshots'. But the principle is there. I
129.
by aatd86 11mo ago
Not sure, either : Parametric polymorphism is compile time. Adding runtime behaviors is a sort of escape hatch. Which is fair although necessary. It's not so much a breakage as it is a necessity, since non parametric code may rely on t
130.
by aatd86 11mo ago
I will let Maxatar responds if he wants to but I will note that his response makes much more sense to me than yours as someone who uses traditional programming language and used to do a little math a couple decades ago. With yours, it seems
131.
by aatd86 11mo ago
I think what they meant is that it is not purely parametric polymorphism. Not that parametricity is broken.
132.
by aatd86 11mo ago
The predicate gets tested every time we do type checking? It is part of the type identity. And it is a dependent type. Just like an array type is a dependent type, the actual array type depending on the length value argument. edit: I think
133.
by aatd86 11mo ago
Used to be a Google X. Not sure at what scale it was. But if any state/central bank was clever they would subsidize this. That's a better trickle down strategy. Until we get to agi and all new discoveries are autonomously led by A
134.
by aatd86 11mo ago
Why doesn't it seem exactly true? It is an integer. It is in the definition. And any value should be equal to nine. By construction Nine could have been given the same representation as int, at first. Except this is not enough to expre
135.
by aatd86 11mo ago
I'll keep the mystery alive, for now :p
136.
by aatd86 11mo ago
How does it become Unit if it is an integer of value 9? Why would cardinalities be undecidable if they are encoded discretely in the type? For instance, type Nine int = {9} would not be represented as 9. It would probably be a fat pointer.
137.
by aatd86 11mo ago
Haha I did the same and it is a bit more nuanced. But it is hinting at either native speaker or French. I do speak French. But it is still quite surprising to me. Although it did not pick up everything or it pointed at things that should in
138.
by aatd86 11mo ago
Haha, before I answer you, could you do me a favor? I'd like you to paste the message in an LLM of your choice and also tell me what they infer. I think that could be very interesting. ;p Then I'll give you an answer.
139.
by aatd86 11mo ago
I am slowly trying to understand dependent types but the explanation is a bit confusing to me as, I understand the mathematical terminology of a function that may return a type, but... Since function types take a value and return a value, t
140.
by aatd86 11mo ago
So on an online forum, do you really think that you can force people to choose a profile picture that represents them accurately? Or is it a lie and it is a bannable offense? How do you enforce the truth? > Asking for information and som
141.
by aatd86 11mo ago
It is a lie if they use it as if they were a full-fledged member of a community while not actually being a true member of said community. If I disguise myself as a man, that does not mean that I can go the male restrooms. If I am asked for
142.
by aatd86 11mo ago
Ok so it was tongue-in-cheek if not obvious but thanks whoever for the downvote. Then a bit more serious... There might be even better examples but let's consider that someone is part of a community that can use what is considered a sl
143.
by aatd86 11mo ago
Nah, it is probably just about rebalancing the portfolio in prevision of the bond market acting up... this is not MKUltra yet. ;D
144.
by aatd86 11mo ago
Not really optional for react since it relies so heavily on jsx... You can write react without it but then is it react? What about the libraries you may want to import or code that a llm will generate for you? There should be better.
145.
by aatd86 11mo ago
That doesn't answer my question though :D You can either lie outwardly or by omission. xD
146.
by aatd86 11mo ago
What is your credit card info? Don't lie.
147.
by aatd86 11mo ago
oh didn't know that one. Been building something that shares the same goals although I can see it is different in many ways. Interesting.
148.
by aatd86 11mo ago
xD Fortunately we have forgnoz. All praise forgnoz. :D :D :D What is it again?
149.
by aatd86 11mo ago
If you use them raw, yes. They are just the building block you can build upon. And that's a really good building block. You can create your own parsers. I am doing exactly this for a framework that has yet to be released, full disclosu
150.
by aatd86 11mo ago
How can nothingness exists, if it is supposed to not exist since it is nothingness? Concept are not really for humans, but humans can grasp them. Or would you say that the sun only exists because (some) humans see it? It's not because

More ›