| ▲ | enos_feedler 12 hours ago | ||||||||||||||||
that's okay! nobody had the bandwidth to check compiler generated machine code either so we just stopped doing it | |||||||||||||||||
| ▲ | tpetry 12 hours ago | parent | next [-] | ||||||||||||||||
Its a false premise so often repeated. I am really tired. Compilers are ruleset: If you pass it one statement it'll produce the same output all the time. Its easy to verify it works. And if enough people have used it before and found no problems, there probably aren't many. Spoiler: People always find niche bugs. But an LLM will generate you two completely different things today and tomorrow. Heck, even if you stash its changes and redo the same prompt. They are NOT comparable at all. | |||||||||||||||||
| |||||||||||||||||
| ▲ | Matl 12 hours ago | parent | prev | next [-] | ||||||||||||||||
Compiler generated machine code is however going from something (fairly) well defined (higher level representation) to something else about equally well defined (lower level representation). In that sense it's a lot closer to translating Italian to English than what LLMs are doing. I trust LLMs a lot more if I have a complete Go program I want them to rewrite in Rust. | |||||||||||||||||
| ▲ | bigstrat2003 3 hours ago | parent | prev [-] | ||||||||||||||||
Yeah, but compilers actually work reliably. LLMs do not. | |||||||||||||||||
| |||||||||||||||||