Skip to content

The Future of Everything is Lies, I Guess: Work

LLMs aren’t compilers.

“Some argue that formal languages will become a niche skill, like assembly today—almost all software will be written with natural language and “compiled” to code by LLMs. I don’t think this analogy holds. Compilers work because they preserve critical semantics of their input language: one can formally reason about a series of statements in Java, and have high confidence that the Java compiler will preserve that reasoning in its emitted assembly. When a compiler fails to preserve semantics it is a big deal. Engineers must spend lots of time banging their heads against desks to (e.g.) figure out that the compiler did not insert the right barrier instructions to preserve a subtle aspect of the JVM memory model.”

https://aphyr.com/posts/418-the-future-of-everything-is-lies-i-guess-work

Leave a Reply

Your email address will not be published. Required fields are marked *