integralid

5 ms·

31.
by integralid 6mo ago
First of all, I think your comment is against HN guidelines. And I expect GP has actually a lot of experience in mathematics - there are exactly right and this is how professional mathematicians see math (at least most of them, including on
32.
by integralid 6mo ago
>This is literally the same thing as No. >You can Not right now, right? I don't think current AI automated proofs are smart enough to introduce nontrivial abstractions. Anyway I think you're missing the point of parent'
33.
by integralid 6mo ago
search crawlers used to bring people TO your site llm boots are used to keep people OUT of your site, because knowledge is indexed and distributed by corporations.
34.
by integralid 6mo ago
Yes but if there are three banana shops around and there are five banana addicted people living nearby the number of bananas available on average for every person is not 15. In other words, if all ai companies need more compute that a singl
35.
by integralid 6mo ago
This is significantly safer than shorting that some people here suggest. You can't lose money sitting on cash. While when shorting your potential loss is infinite.
36.
by integralid 6mo ago
I disagree. More often than not is "We know how to solve the problem, and the solution is some linear algebra"
37.
by integralid 7mo ago
That's vaccously true as you said isn't it? I write fish on my shell and then I can save it as a fish script. Worth noting that bash is much more portable and available by default, but if I'm going for portability I go straig
38.
by integralid 7mo ago
Except not everyone uses bash shell - so it's not really accurate.
39.
by integralid 7mo ago
we can learn from our American friends and call it something like CHILDREN SAFETY ACT. So you want to hurt children, huh? I hope not
40.
by integralid 7mo ago
Feeling overwhelmed by insurmountable mountain of bugs and issues is not the way either. We can argue that closing the tickets is not the best way, but if realistically nobody will ever look at them, why not make the developers feel better.
41.
by integralid 7mo ago
I also instinctively reacted to that fragment, but at this point I think this is overreacting to a single expression. It's not just a normal thing to say in English, it's something people have been saying for a long time before LL
42.
by integralid 7mo ago
That theory was always bunk. People just can't comprehend, that the average spammer really is that bad. So that theory was created to make sense of that. Because of my work I investigated a lot of spam, and I discovered real life ide
43.
by integralid 7mo ago
Thanks for chiming in. I'm looking for a reasonably cheap local LLM machine, and multiple 3090s is exactly what I planned to buy. Do you have any recommendations or recommend any reading material before I decide to spend money on that?
44.
by integralid 7mo ago
Either you missed the joke or I missed your sarcasm. I read GP as a joke: being literally kicked out of a flight in air is a death sentence, which is a bit harsh penalty indeed.
45.
by integralid 7mo ago
This. I work on projects that warrant a self hosted model to ensure nothing is leaked to the cloud. Imagine my surprise when I discovered that even though the only configured model is local, all my prompts are sent to the cloud to... genera
46.
by integralid 7mo ago
This is also, unfortunately, the only way this can be settled. Making LLM output legally a derivative work would murder the AI golden rush and nobody wants that
47.
by integralid 7mo ago
>app that works with any song on your computer Impressive, very nice. Now let's see my death metal collection. Just joking! Very nice, thanks for open-sourcing it.
48.
by integralid 7mo ago
>No human should ever be forced to look at the code behind my vibe coded internal admin portal Except security researchers. I work in cybersecurity and we already see vulnerabilities caused by careless AI generated code in the wild. And
49.
by integralid 7mo ago
Are you sure the stream version has proprietary assets? I was under impression that they had some open assets, but I may be wrong.
50.
by integralid 7mo ago
I liked the graphs. When skimming posts i often stop on graphical elements and decide if I want to understand the context or continue skimming. In this context, all three graphs were useful for me. Posts with just text are sense and just no
51.
by integralid 7mo ago
>no I dont know how O(n) is calculated when reading a function This is really, honestly not hard. Spend a few minutes reading about this, or even better, ask a LLM to explain it to you and clear your misconceptions if regular blog posts
52.
by integralid 7mo ago
I too don't want to be a martyr hermit who don't travel and consume just to cur my CO2 emissions in half, while someone else generates 10x of that living a full life. That's just dumb, and I consider this whole movement rich
53.
by integralid 7mo ago
It goes in one direction only. Companies can take open-source software and make a proprietary reimplementation. You can't take a proprietary software and make an open source GPL version. I am absolutely certain that if you tried you wo
54.
by integralid 7mo ago
Yeah, they will have to raise salary by 10% to attract people. This will no doubt hurt their bottom line. Poor starving SV text workers will have no choice but to accept working for them, lest they starve. Maybe my sarcasm is not justified,
55.
by integralid 7mo ago
OP clarified, but I understood that as a valid tree without a path to empty node. I don't have an example, but with grammar weird enough it sounds plausible. Especially if some form of type checking is involved, as OP mentioned.
56.
by integralid 7mo ago
Why not step 1? For 90% of software developers sole proprietor is enough (note: I don't live in Germany but in a country with a similar system). GmbH is a pretty heavy solution for larger companies. German system is more complicated th
57.
by integralid 7mo ago
I would. AI designed software in general does not include novel ideas. And this is the kind of novel software AI is not great at, because there's not much training data. Of course it's very possible someone wrote it with AI help.
58.
by integralid 7mo ago
>AI for the longest time was a scam. Like, it was clearly improving, but only in marginal increments. AI was improving a lot , we just kept moving the goalposts. AI is not just chatbots. But nitpicking aside, I get what you're sayi
59.
by integralid 7mo ago
"Nobody will ever put pickle juice in cereal" -a person before getting poisoned by pickle juice cereal
60.
by integralid 7mo ago
Even if one more person was prosecuted it was worth it. If you shut down an illegal website a new one will show up a month later, with the same people involved, and you achieved nothing.

More ›