HackerTrans
TopNewTrendsCommentsPastAskShowJobs

francasso

no profile record

comments

francasso
·3 ay önce·discuss
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
francasso
·5 ay önce·discuss
There's no disagreement, the algebraic one is the correct one, obviously. Anyone that says differently is wrong. :)
francasso
·6 ay önce·discuss
We already know he'll want a prize for that. Anyone has a Nobel for making it rain that usually goes to God?
francasso
·6 ay önce·discuss
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.
francasso
·7 ay önce·discuss
If you run FreeBSD on your laptop you don't auto connect to public WiFi.

Joking, but not that much :)
francasso
·7 ay önce·discuss
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.
francasso
·10 ay önce·discuss
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.
francasso
·geçen yıl·discuss
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.
francasso
·geçen yıl·discuss
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.
francasso
·geçen yıl·discuss
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.
francasso
·geçen yıl·discuss
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.
francasso
·geçen yıl·discuss
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.
francasso
·3 yıl önce·discuss
Not familiar with .NET, virtual threads in Java are an alternative to async await in other languages. The approach Java took is similar to green threads in go.