eru

8 ms·

211.
by eru 1mo ago
It's good that it's punishing when the abstraction are bad: then you notice. With Python or TS, as you say, you get less feedback.
212.
by eru 1mo ago
Yes, I found these agents to be better at producing acceptable Rust than at producing acceptable Python code. In addition to the Rust compiler, you can also tell them to make clippy happy. Both in normal mode or if you are feeling nitpicky
213.
by eru 1mo ago
Tangent: your comment would have been stronger without the politics. Btw, Rust ain't the only vector here. With an LLM at your side, you can also write your performance and safety critical parts in Lean and prove them correct. Lean ca
214.
by eru 1mo ago
> If DeepSeek 4.1 flash is really as good as it's benching, we're probably a month away from 1/3rd of users moving off the closed-weight models in favor of something they have more control over (or is cheaper). Only in the
215.
by eru 1mo ago
What do you mean by 'rich'?
216.
by eru 1mo ago
From all I can tell, Volvo's cars are safer.
217.
by eru 1mo ago
> The P=NP problem is FAR more fundamental, Yes. > and if proven true, would basically be a proof that e.g. public key crypto can be broken (NOT a description of how to though). Well, only if the answer is that P=NP. > I believe P
218.
by eru 1mo ago
You can use 'Daybreak Blue' from OpenAI for that, if you want to.
219.
by eru 1mo ago
Fortunately, there's plenty of competition between AI labs. Not all of them are even in Silicon Valley.
220.
by eru 1mo ago
What makes you think they didn't try?
221.
by eru 1mo ago
A lot of what humans do is combining old ideas. And an LLM could in theory also stumble upon entirely new ideas: there's randomness in how they generate their reasoning and answers after all. I suspect that we are seeing a lot of advan
222.
by eru 1mo ago
This seems to be the norm rather than the exception. On a tangent, the genius of people like eg Einstein is not so much that he came up with all these things: other people were close, but that he was a singular individual that did all of th
223.
by eru 1mo ago
Depends on your profession? I sometimes work on open source code as part of my professional duties. Nothing that goes on there is necessary to keep private.
224.
by eru 1mo ago
I'm not sure the low cost of living of the guy who kicks off the AI generation still makes much of a difference? This might have been more important when the human still had to invest quite a few hours. In any case, why do we care abou
225.
by eru 1mo ago
I don't necessarily mind reading AI generated content. But the bar you need to clear is: why would I read (or watch or play) what you generate with AI compared to me just directly asking the AI? To be clear: this isn't meant as a
226.
by eru 1mo ago
Ok, I'll start shunning people who work at AI companies from now on. Let's see if that makes a difference or if they care.
227.
by eru 1mo ago
Maybe. But as soon as they threaten to sell it to the baddies or use it for ransomware themselves, I would cease all communication and negotiation. The legitimate threat the researcher has is to disclose to the general public. (And to dis
228.
by eru 1mo ago
Signatures are very different from proofs.
229.
by eru 1mo ago
I would be very surprised if my silly suggestion would speed up some standard benchmarks, because even if you do insertion only you have to do a linear probe to find duplicates. The way Python guarantees to preserve insertion order is prett
230.
by eru 1mo ago
I'm not actually sure about this specific project, but people are still hard at work making CPython faster. Many of them the same people as where in this project.
231.
by eru 1mo ago
It's a wealth transfer to the middle class. Poor people by and large don't go to the orchestra or opera. Of course, some poor people do enjoy these kinds of things! But if you gave them a choice between the subsidised ticket or
232.
by eru 1mo ago
> For users, these apps exiting by selling to Match is a bad thing. Yes, I didn't argue against that! I said that Match Group reliably buying upstarts would make it easy to found and fund these upstarts. > Every site requires eno
233.
by eru 1mo ago
Bandwidth costs money, and one could sell premium access to fund one's more public minded services.
234.
by eru 1mo ago
Tell me one thing they were right about, please.
235.
by eru 1mo ago
People are almost always complaining about the economy, even when it's going great. Pick your favourite years when you think the economy was going great for workers, and look at some archived newspapers (or even just the headlines).
236.
by eru 1mo ago
The labour share of GDP has been roughly within a narrow 50% to 65%-ish bound throughout. It's moving up and down a bit, yes, but still within that bound. Btw, if you are looking for a villain, look at the land share of GDP. The capi
237.
by eru 1mo ago
> I very much doubt that most people are greatly more productive, if you can even measure that for most jobs, than they were fifty years ago. Most jobs now are office jobs and service jobs. Much of the purported gains in productivity are
238.
by eru 1mo ago
The mechanical sewing machine would definitely be on the same kind of list, if you had asked your grandparents to prepare one. > (I never felt the need for an automatic dishwasher, because I never let them accumulate, I wash them instant
239.
by eru 1mo ago
> Unless the husband was a jerk, he would have understood that this is a division of work, so the spouse who worked at home had actually earned a half of the pay received at the payed job of their husband. This is probably the best divis
240.
by eru 1mo ago
I wonder if you could send new tables every so often in your stream?

More ›