logoalt Hacker News

truncateyesterday at 7:49 PM1 replyview on HN

>> "we're already not writing machine code by hand for 50 years, how is AI different from a higher level language?"

I never got that argument. Compilers are formally proven, deterministic algorithms . If you understand what compiler does, you can have pretty good idea what it will produce. If it doesn't do that, its a bug. Definition of correctness is well defined by semantic equivalence.

LLMs are none of that. Its a fuzzy system that approximates your intent and does its best. I can make my intent more and more specific to get closer to what I want, but given all that is just regular spoken language its still open to interpretation. And all that is still quite useful, but I don't get the assembly language comparison here.


Replies

pjmlptoday at 1:26 PM

Because compilers are only deterministic when using ahead of time compilation, without profiling data, and always the same set of compiler flags.

Introduce dynamic compilation, profiling data, optimization passes, multiple implementations, ML driven heuristics, and getting deterministic Assembly output from a compiler starts to get harder to achieve.