Certhas

10 ms·

151.
by Certhas 8mo ago
Fully agreed. I first struggled when switching from python to Julia, then ended up finding it slightly better for my use cases (which includes teaching scientists who are not programmers). But it's simply not a big deal either way. I a
152.
by Certhas 8mo ago
I disagree. Julia has correctnes issues because it chose maximum composability over specifying interfaces explicitly. And those are not just in immature packages but also in complex packages. Compared to other languages, Julia has no facili
153.
by Certhas 8mo ago
What if I want the nth element up to the math element? arr[n:m]. And if I want to split the array into two parts, one until the nth element and the other from the m+1st element arr[1:m] and arr[(m+1):end]. Julia matches how people speak abo
154.
by Certhas 8mo ago
Correct and satisfying answers is not the loss function of LLMs. It's next token prediction first.
155.
by Certhas 8mo ago
The EU doesn't really fund many things directly. It's total annual budget is just 170 billion euros. It can fund research and coordination projects but at the end of the day the EU is mostly a coordination mechanism for sovereign
156.
by Certhas 8mo ago
Being able to operate sovereignly is a core competency for governments.
157.
by Certhas 8mo ago
But the GPUs on the ground will be a lot cheaper to manufacture as they don't have to deal with space conditions. It seems a real stretch to me to assume that costs for putting GPUs into space can ever come within a factor of 2-3 of pu
158.
by Certhas 8mo ago
Or you put the data centers at different points on earth? Or you float them on the ocean circumnavigating the earth? Or we put the datacenters on giant Zeppelins orbiting above the clouds? If we are doing fantasy tech solutions to space pro
159.
by Certhas 8mo ago
HVDC would be a lot less connected than an AC grid. The real question is, why do you expect Space to have fewer political and engineering issues.
160.
by Certhas 9mo ago
This is science for science sake. To advance knowledge. You argue for direct investment for building space faring capabilities, rather than for advancing knowledge, but then you should state why you want these space faring capabilities. Bec
161.
by Certhas 9mo ago
Quantum Mechanics, protons, electrons... That's the theory of everyday matter. You don't need very special situations to see their effects. Understanding the underlying equations enabled us to do more with what we already have. Hi
162.
by Certhas 9mo ago
There are tons of raw data available freely and publicly. In my estimation, there is no comparable scientific discipline with a better curated data environment. What exact raw data would you want? I am sure ChatGPT can throw together some p
163.
by Certhas 9mo ago
Getting Windows up and running isn't necessarily easier. There was a recent review of a handheld Windows device that needed unauthorized hidden driver updates to get performance to match Steam OS. The only way to avoid this type of stu
164.
by Certhas 9mo ago
I am not discussing the FT case. But as regards Wigner's article, the core thing he points out is that while we are used to the effectiveness of maths, centuries after Newton, there in fact is not any prior grounds to expect this effec
165.
by Certhas 9mo ago
I find it hard to parse the middle of your post. Are you saying Wigner's article, which is what all the "unreasonable effectiveness" titles reference, is silly? If that is what you are saying I suggest that you actually go ba
166.
by Certhas 9mo ago
That's quite the double standard. You extrapolate from one single Rust bug, but insist that "it's hard to tell" and you need completely unrealistic levels of empirical evidence to draw conclusions from the reported C bug
167.
by Certhas 10mo ago
FF is plenty competitive on the technical and feature front. It's market share is not a reflection of technical merit. What's more, next to Linux itself it is maybe the only case I can see where a major piece of user facing softwa
168.
by Certhas 10mo ago
Of course highly correct C code is possible [1]. But ADA makes it easier. Rust makes it easier. You can write anything in any language, that is _not_ the argument. How could you plausibly advocate for a culture that invests a lot of effort
169.
by Certhas 10mo ago
Is that true? Can Ubuntu download and install and run new code without me doing anything? I am not sure that's the case. Of course every time I run an update, they can install whatever. But that's different from what Windows is do
170.
by Certhas 10mo ago
The thing is. There always was a strong theoretical case that Rust should improve software quality (not just because of the fact that you have a lifetime system). The only reasonable counterpoint was that this is theory, and large scale exp
171.
by Certhas 10mo ago
Eh... mainstream physics by numbers is not HEP and definitely not HEP Th, and there are plenty of serious physicists somewhat critical of the field, and more so of the way it presented itself over the last decades. And while I disagree with
172.
by Certhas 10mo ago
Maybe you haven't been paying much attention in this space. Google found empirically that error density in _unsafe_ Rust is still much lower than in C/C++. And only a small portion of code is unsafe. So per LOC Rust has orders of
173.
by Certhas 10mo ago
I find this highly annoying. Here we've had very tasty wheat based slices that can serve the same purpose as sliced salami/meats on bread, and didn't try to muck anything in particular. But they disappeared from the shelves w
174.
by Certhas 10mo ago
If all the meat you eat is from chicken raised in your backyard , that's environmentally perfect. In the US per capita chicken consumption is 100 pounds per year.
175.
by Certhas 10mo ago
Last paragraph of the article: > In case the sarcasm isn’t clear, it’s better to leave the warts. But it is also worthwhile to recognise that in terms of effectiveness for driving system change, signage and warnings are on the bottom of
176.
by Certhas 11mo ago
CH as I understand it has nothing to do with this. As an example that illustrates why, consider the simple infinite coloring discussed in the article that uses the axiom of choice. You could not write an algorithm that actually performs thi
177.
by Certhas 11mo ago
Do you have any actual evidence that this result can be viewed as an instance of CH? The networks on the measure theory side and on the algorithmic side are not the same. They are not even the same cardinality. One has uncountably many node
178.
by Certhas 11mo ago
And you know this how? Have you seen usage statistics of AI integrations? I personally don't like them, but I don't expect that I am a representative user. Nor are the people I know.
179.
by Certhas 11mo ago
I thought you merely misread my comment. But it really seems you are very determined to pretend that there are no reasons for people to hide that they are queer, which, given the current political climate, is just bizarre to me.
180.
by Certhas 11mo ago
You seem to have read that as literally "hide if you are queer". What I meant to encompass was also "hide that you're queer". And that's absolutely a norm that exists, and that can perfectly well hide behind &q

More ›