tovej

18 ms·

271.
by tovej 7mo ago
So? I certainly have.
272.
by tovej 7mo ago
Novel is a tricky word. In this case, the LLM produced a python program that was similar to other programs in its corpus, and this oython program generated examples of hypergraphs that hadn't been seen before. That's a new result,
273.
by tovej 7mo ago
Well, for one the proof would have to use actual proof techniques. What really happened here was that the LLM produced a python script that generated examples of hypergraphs that served as proof by example . And the only thing that has bee
274.
by tovej 7mo ago
I 100% agree. The LLM was just used to autocomplete a ready-made strategy.
275.
by tovej 7mo ago
No, the size of those networks that would be capable of that are infeasible. That's a common fallacy. You hint at this but then dismiss it. Mathematically possible != actually possible.
276.
by tovej 7mo ago
1) this is a proof by example 2) the proof is conducted by writing a python program constructing hypergraphs 3) the consensus was this was low-hanging fruit ready to be picked, and tactics for this problem were available to the LLM So reall
277.
by tovej 7mo ago
It is not. You're operating under the assumption that all open math problems are difficult and novel. This particular problem was about improving the lower bound for a function tracking a property of hypergraphs (undirected graphs wher
278.
by tovej 7mo ago
It generated a proof that was close enough to something in its training data to be generated.
279.
by tovej 7mo ago
better educated I get, but more intelligent? That doesn't track.
280.
by tovej 7mo ago
It's using a mature data model from an existing framework (git), and it's essentially a simpler clone of other similar projects. That's brownfield to me. Greenfield would develop a completely new system. This is a utility for
281.
by tovej 7mo ago
Vibecoding is the term for building software with LLM tools. Did you do something different? I'm just getting tired of hearing claims of incredible software being built with LLM-based tools, but when I ask to see them, I get nothing. Y
282.
by tovej 7mo ago
How is this greenfield?
283.
by tovej 7mo ago
Would you share the music app? Do you have a public repo or demo somewhere? You didn't really describe it very much, so it's hard to say what it actually does. I'm interested in evaluating the quality of vibecoded projects pe
284.
by tovej 7mo ago
I will try anything reasonable. And have tried LLM tools for programming. But there's no way I would use it daily. It's too inefficient, too error prone, and will actively make me a worse programmer (as I will be writing less code
285.
by tovej 7mo ago
Is this a copypasted response? I've seen the exact same bs in other AI threads on this site.
286.
by tovej 7mo ago
Politics is how you make decisions collectively. In other words the market is political, LLCs are political, and common rules about how work is licensed is political. AI is also being used (unfortunately) to make decisions. AI is therefore
287.
by tovej 7mo ago
The West Bank is not part of the war (if you can even call the Gaza war a war, it's an extermination campaign, but still, people do call that a war). This is just a regular tuesday massacre for the IDF, not an ongoing conflict, just oc
288.
by tovej 7mo ago
This happened in the west bank.
289.
by tovej 7mo ago
Because the west (our political and economic system) supports this war, and does so much more loudly than the war in Sudan,which is funded by the UAE, also a US ally, but a far less visible and consequential one. Nobody is visible working t
290.
by tovej 7mo ago
[flagged]
291.
by tovej 7mo ago
you have three entries, none of them seem to be about a specific project, all of them seem to be about ways of setting up agentic development. I'm not going to comb them for crumbs. Surely you can just tell me: what is, in your opinion
292.
by tovej 7mo ago
co-pilot subscribers tells you nothing, because employees might be subscribed and even forced to use agentic coding tools against their will. The statistics on that page are also not sourced, and there is no dataset available, or informatio
293.
by tovej 8mo ago
You're missing the most common AI tool selection: none at all. Every developer I know has _tried_ LLMs/agents for coding. But I don't know any developer actually _using_ them for programming. At most use them for generating d
294.
by tovej 8mo ago
What are these ingenious projects then, pray tell?
295.
by tovej 8mo ago
Is it really valid to call it "ingenuity" if you weren't able to execute projects before? Gen-AI has not enabled me to develop anything I wasn't able to do before, and I consider myself to be an average developer.
296.
by tovej 8mo ago
They did not "fix" the negation problem. It's still there. Along with other drift/misinterpretation issues.
297.
by tovej 8mo ago
It's more like a blur filter and a thousand layers of jpeg compression.
298.
by tovej 8mo ago
Right. Only problem is, I wouldn't usually take into account hypotheticals that don't match reality. And neither would any reasonable person.
299.
by tovej 8mo ago
I'm not sure I follow. What I mean is that it makes no sense to say you're fighting a war to achieve peace if you're the one who started the war, breaking the peace that existed before then. If peace is your goal, then the st
300.
by tovej 8mo ago
Are we forgetting the context of who started the war?

More ›