|
|
|
|
|
by canttestthis
218 days ago
|
|
The tweet is a response to https://x.com/ronawang/status/1986874105472426188 (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. |
|