francasso

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

I remember having multiple issues doing this in rust, but can't recall the details. Are you sure I would just be able to have whatever refs I want and use them without the borrow checker complaining about things that are actually perfectly safe? I don't remember that being the case.

Edit: reading wavemode comment above "Namely, in Rust it is undefined behavior for multiple mutable references to the same data to exist, ever. And it is also not enough for your program to not create multiple mut - the compiler also has to be able to prove that it can't." that I think was at least one of the problems I had.

If your use case can be split into phases you can just allocate memory from an arena, copy out whatever needs to survive the phase at the end and free all the memory at once. That takes care of 90%+ of all allocations I ever need to do in my work.

For the rest you need more granular manual memory management, and defer is just a convenience in that case compared to C.

I can have graphs with pointers all over the place during the phase, I don't have to explain anything to a borrow checker, and it's safe as long as you are careful at the phase boundaries.

Note that I almost never have things that need to survive a phase boundary, so in practice the borrow checker is just a nuissance in my work.

There other use cases where this doesn't apply, so I'm not "anti borrow checker", but it's a tool, and I don't need it most of the time.

While technically true, it still simplifies memory management a lot. The tradeoff in fact is good enough that I would pick that over a borrowchecker.

Not comparing Trump to Hitler, but the life style you advocate for is exactly that of most germans and italians in the 1930s

I think this THE main reason why many people are getting fed up with javascript heavy frontends and switching to technologies like htmx.

Personally I stick to json to feed data to my frontends, but I gave up on "frameworks" a while back and just implemented my own abstractions on top of vanilla js and the dom and have been happily using them for years. If you work in large teams with people that don't care so much tough, that would also have drawbacks.

I'm not an expert, so it's likely there are many things I don't get, but I wanted to have "UDP in the browser" for a project, and after looking at quic/http3/web transport I'm depressed by the complexity of it all

Beyond performance? Performance!

Honestly, I'm not sure, I don't know how you can look at the actions Trump took in the last few days and not at least consider the possibility that he is russian asset.

While I understand the dad's pain, the amount of egoism required to put your wishes in front of your suffering daughter is unreal. If she is rationally able to make decisions and after talking with her family/loved ones and medical professionals she still wants to die, that decision should be respected.

And the christians that think that their beliefs gives them any right to prolong the torture that other human beings are subject to... It's impolite to say what I would do to them.

I'm starting to think that the US is done for, short of a civil war to stop it they'll never get out of the damage done by four years of this.

I agree in principle, but I'd like to see more EU countries get nukes

You were buying influence by spending your money on your own military.

But I agree that the EU should never have relied on the US for its own defense, I really hope that will change now.

The EU needs to get armed to the teeth and to pile up on nukes. The US cannot be trusted, half of the country is compromised and that's not something that will change any time soon, even after Trump goes to meet his creator.

Would they also change the aliasing assumptions to something close to C/C++? Otherwise I imagine it would be relatively easy to make mistakes and get "surprises" at runtime thanks to the optimizer.

Is there a relation between the "single axiom for boolean algebra" that Wolfram claims to have discovered and the fact that you can express all boolean operations with just NAND?

Naming doesn't have anything to do with the number of functions. They section things off in the file, so if you prefer things split into multiple files I can understand, but it's a personal perference in something this size