menaerus

20 ms·

331.
by menaerus 9mo ago
Did you miss the topic that is being discussed, as in: > The EU faces a significant problem of dependence on non-EU countries in the digital sphere. This reduces users' choice, hampers EU companies' competitiveness and can rais
332.
by menaerus 9mo ago
> Are you expecting these people to end up flush with cash, or what's the issue? No, you cannot build a serious product to compete with globally established products only by using the 50k EUR grant since serious products of larger s
333.
by menaerus 9mo ago
Do you honestly believe that all of these funding programs are beyond the point of "decency"? If we leave aside all of the bureaucratic bs, political connections and corruption when it comes to obtaining these funds (for the most
334.
by menaerus 9mo ago
From https://nlnet.nl/fediversity > We are seeking project proposals between 5.000 and 50.000 euro's — which should get you on your way. Am I the only one to think this is completely ridiculous amount of money? So,
335.
by menaerus 10mo ago
So, AI ate the cake ... I always thought that the investment that Oracle needs to make for MySQL is peanuts compared to the Oracle's total revenue and the revenue MySQL is generating. Perhaps the latter is not so true anymore.
336.
by menaerus 10mo ago
Wouldn't Oracle need those 80%+ devs if they wanted to shift their efforts into Heatwave? That percentage sounds too huge to me and if true I believe they won't be making any larger investments into Heatwave neither. There's
337.
by menaerus 10mo ago
I said unless they have a strong reason to. Do they?
338.
by menaerus 10mo ago
Using transformers does not mutually exclude other tools in the sleeve. What about DINOv2 and DINOv3, 1B and 7B, vision transformer models? This paper [1] suggests significant improvements over traditional YOLO-based object detection. [1]
339.
by menaerus 10mo ago
What do you think about Geoffrey Hinton's concerns about the AI (minus "AGI")? Do you agree with those concerns or do you believe that LLMs are only that much "useful" so they wouldn't impose a risk on our soc
340.
by menaerus 10mo ago
Yes, of course.
341.
by menaerus 10mo ago
> 40k in consumer hardware is never going to compete with 40k of AI specialized GPUs/servers. For general purpose LLM probably yes. For something very domain-specialized not necessarily.
342.
by menaerus 10mo ago
OpenAI released GPT-4o in May 2024, and Anthropic released Claude 3.5 Sonnet in June 2024. I haven't tried the local models as much but I'd find it difficult to believe that they would outperform the 2024 models from OpenAI or Ant
343.
by menaerus 10mo ago
I actually wish the audience to take the opposite, or perhaps a more balanced view. Being pragmatic is like taking an extreme view and as much as this article is a great resource, and contains some legit advice otherwise difficult to find e
344.
by menaerus 10mo ago
I think because of capacity. This race is mainly driven with the AI power demand estimated to increase 10x in the next 5 years. Currently it's 5GW and by 2030 it is expected to be 50GW.
345.
by menaerus 10mo ago
> If somebody is in the EU already that calculation completely flips. Would you find it compelling to move your whole life for ~100k EUR when you can make as much or more at your home city, with a job that is almost certainly more stable
346.
by menaerus 10mo ago
They can't hire the best talent because the most experienced people will not leave their homes to chase a high-risk role with questionable remuneration by relocating their whole life to Paris or London. This goes to show how leaders in
347.
by menaerus 10mo ago
Sure, now imagine answering 10 different people to all of their questions? It's the largest hindrance I have ever seen but I agree with the above comment that it largely depends on the team.
348.
by menaerus 10mo ago
> in the most general case the encapsulation and local reasoning here is between modules that use unsafe and everything else This would be the same narrative as in, let's say, C++. Wrap the difficult and low-level memory juggling st
349.
by menaerus 10mo ago
No, this is just an example of confirmation bias. You're given a totally unrealistic figure of 1 vuln per 200K/5M LoC and now you're hypothesizing why that could be so. Google, for anyone unbiased, lost the credibility when t
350.
by menaerus 10mo ago
Yes, but my point is when things blow up how exactly do you know which unsafe block you should look into? From their statement it appears as if there's such a simple correlation between "here's your segfault" and "h
351.
by menaerus 10mo ago
1 per 5M or 1 per 200K is pretty much unbelievable, especially in such a complex codebase, so all I can say then is to each their own.
352.
by menaerus 10mo ago
They also say The practice of encapsulation enables local reasoning about safety invariants. which is not fully correct. Undefined behavior in unsafe blocks can and will leak into the safe Rust code so there is nothing there about th
353.
by menaerus 10mo ago
They say "With roughly 5 million lines of Rust in the Android platform and one potential memory safety vulnerability found (and fixed pre-release), our estimated vulnerability density for Rust is 0.2 vuln per 1 million lines (MLOC).&qu
354.
by menaerus 10mo ago
What am I exactly doing again? I am providing my reasoning, sorry if that itches you the wrong way. I guess you don't have to agree but let me express my view, ok? My view is not extremist or polarized as you see. I see the benefit of
355.
by menaerus 10mo ago
No, I am not saying keep the status quo. I am simply challenging the idea that kernel will enjoy benefits that is supposed to be provided by Rust. Distribution of bugs across the whole codebase is not following the normal distribution but m
356.
by menaerus 10mo ago
And It is now the only software in the world still written in C89. Hilarious.
357.
by menaerus 10mo ago
So, unsafe block every 70 LoC in 1500 LoC toy example? Sure, it's a strong argument.
358.
by menaerus 10mo ago
> let's start by prefacing that 'production quality' C is 100% unsafe in Rust terms. I don't know what one should even make from that statement. > here's where we fundamentally disagree: you listed a couple do
359.
by menaerus 10mo ago
Sorry but what have I said wrong? The nature of code written in kernel development is such that using unsafe is inevitable. Low-level code with memory juggling and patterns that you usually don't find in application code. And yes, I ha
360.
by menaerus 10mo ago
Similarly in regular SQL systems, the same is achieved by fsyncing to WAL.

More ›