If LLMs can be taught to write assembly (or LLVM) very efficiently
That's a big if, not compared to human written but compared to optimized code.
arguably much more efficient utilization of resources on every compile target
That is an interesing angle, if you could build in concerns that aren't currently taken into consideration
compilation is flexible and not rule based. an LLM won't complain over a missing ";" as it can "understand" the intent
I think that's a separate issue, and is closer to code completion than compilation. I don't know why there aren't automatic linters for the specific problem you mentioned.
I feel it is an issue of dimensionality (ie "context" size), very similar to having a latent space for entire repos. Do you agree?
You could probably get the behaviour you want from fine-tuning/RAG on a specific codebase. It will still require large context size.
That's a big if, not compared to human written but compared to optimized code.
That is an interesing angle, if you could build in concerns that aren't currently taken into consideration
I think that's a separate issue, and is closer to code completion than compilation. I don't know why there aren't automatic linters for the specific problem you mentioned.
You could probably get the behaviour you want from fine-tuning/RAG on a specific codebase. It will still require large context size.