(disclaimer: I'm a software engineer with minimal compiler theory experience outside classes in college)
I wonder whether its possible to trust an LLM to "compile" your code to an executable and trust that the compiled code is faithful to the input without writing a static validator that is pretty much a compiler itself.
rvz•31m ago
Don't take it seriously, It is Twitter bait from an intern.
> I wonder whether its possible to trust an LLM to "compile" your code to an executable and trust that the compiled code is faithful to the input without writing a static validator that is pretty much a compiler itself.
"LLMs as compilers" do not make any sense.
Traditional compilers must be deterministic to compile to the correct machine code for the correct architecture otherwise the executable will break.
canttestthis•1h ago
(disclaimer: I'm a software engineer with minimal compiler theory experience outside classes in college) I wonder whether its possible to trust an LLM to "compile" your code to an executable and trust that the compiled code is faithful to the input without writing a static validator that is pretty much a compiler itself.
rvz•31m ago
> I wonder whether its possible to trust an LLM to "compile" your code to an executable and trust that the compiled code is faithful to the input without writing a static validator that is pretty much a compiler itself.
"LLMs as compilers" do not make any sense.
Traditional compilers must be deterministic to compile to the correct machine code for the correct architecture otherwise the executable will break.