alt Hacker NewsYou don't really need compilers anymore. LLM's can write programs over any AST and provide an equivalence proof provided you have good semantics for the source and target.
Replies
ulrikrasmussen • today at 5:46 AM
Then we don't really need software anymore, LLMs can just receive every user input and perform the action required.
/s
What semantics do you mean here? What are bad semantics in an interpretation/compilation context?