francasso

Not only Astra consumes usage way faster than sol, but the code is worse, at least for my use cases. I went back so sol (x)high.

If we get to the point where a local model can reliably do the coding for a good majority of cases, then the economic landscape changes significantly. And we are not that far from having big open weight models that can do that, which is a first step

There's no disagreement, the algebraic one is the correct one, obviously. Anyone that says differently is wrong. :)

We already know he'll want a prize for that. Anyone has a Nobel for making it rain that usually goes to God?

Maybe it's just me, but the idea that the average web project out there is a complicated mess and thank God we have AI so we can finally think about the things that matter while AI deals with the mess... it makes me sad.

If you run FreeBSD on your laptop you don't auto connect to public WiFi.

Joking, but not that much :)

Companies like apple should be liable to pay many millions in damages for this kind of shit. The people should make it hurt so much for them that they think twice before doing it without having a clear and working appeal process where you are clearly explained what happened and guided through it.

Facts my friend, facts. You may not like them, you may think they are out of context and/or misused, but they are still facts.

Another fact is that the money saved went to fund a (small) portion of the big beautiful bill, which doesn't exactly focus on helping the average american Joe.

Yes, I agree with you that it's going to be difficult for researcher that are not at the top of their field. But if some of the top researchers started the flow, and goverments in other countries woke up and took advantage of the situation, I believe things could change.

Maybe it's time to move to Europe or China

In theory yes, in practice that's irrelevant unless you can show someone has done it, and nobody has in 40+ years as far as I know

That works in numerical libraries because you can encapsulate the loops into basic operations that you then lower to C. In a domain like type checking it's not nearly as easy/doable.

> This is what you should be doing when working with C/C++

I genuinely wonder if you actually have ever written c/c++, there is plenty of code that is perfectly valid and safe (mostly involving multiple pointers to mutable memory being alive) that the borrow check cannot accept because it has to draw a line to things it can prove are correct.

It's like saying that the only valid math is the one that an automated theorem prover can prove, it's not even close to being true.

My friend, Amazon being legally allowed to behave like a schmuck doesn't imply the community can't point that out and complain about it. AWS (legally) exploits open source projects, and that's a fact.

There are many actions and behaviours in life that are not illegal but actively worsen society at large if you do them. That companies that are the main contributors to OSS are forced to take drastic measures is just consequence of AWS not being a team player, you should have at least the decency of not commenting here.

PS. I don't have a horse in the race, I'm not a Redis user, I'm just appalled by your behavior.

SSMs never stop