31–40 of 138 posts
[flagged]
It doesn't matter. This is inherently better because the dev knows exactly what is being done. Llms could cripple entire systems with assembly access
Earlier quoted context omitted.
> I wonder how many optimisations like this could be created by LLMs Zero. There's no huge corpus of stackoverflow questions on highly specific assembly optimisations so…
There are literally textbooks on optimization. With tons of examples. I'm sure there are models out there trained on them.
https://thesofproject.github.io/latest/introduction/index.ht...
[flagged]
Earlier quoted context omitted.
There are literally textbooks on optimization. With tons of examples. I'm sure there are models out there trained on them.
There are literally textbooks on computational theory, with tons of example proofs. I'm sure there are models trained on them. Why hasn't ChatGPT produced a valid P vs. NP proof yet?
You're employing a logical fallacy to argue about something else.
Earlier quoted context omitted.
Pretty much all instructions at the assembly level are sequences of AND/OR/XOR operations. SAT solvers can prove that some (shorter) sequences are equivalent to other (longer) sequences. But it takes a brute force search. IIRC, these super optimizing SAT solvers can see patterns and pick 'Multiply' instructions as part of their search. So it's more than traditional SAT. But it's still... At the end of the day.... A S…
A short look at any compiled code on godbolt will very quickly inform you that pretty much all instructions at the assembly level are, in fact, NOT sequences of AND/OR/XOR operations.
Clearly I'm wrong on this; I should probably properly learn assembly at some point...
Earlier quoted context omitted.
It doesn't matter. This is inherently better because the dev knows exactly what is being done. Llms could cripple entire systems with assembly access
You could run it in a loop, asking it to improve the code each time. I know what the ffmpeg devs have done is impressive, but I would be curious to know if something like Claude 4 Opus could make any improvements.