Hacker News Reader

The LLMs use compilers, so I am not seeing the challenge here. Compilers do a lot of useful and important things like type checking and agents will typically check their output by invoking a compiler, then correcting errors reported by the compiler.

If anything what agents will mean is a move toward compilers for languages with more expressive type systems that can do more static checks for semantic correctness e.g. F*, which is an extension of F# that introduces dependent types.

That's exactly what I mean, compilers are more important than ever

Why do compilers worry about the challenge? Just call an LLM internally from a compiler if LLMs are better than compilers.

In my opinion, LLMs don't challenge anything.

I think you're missing my point which is more or less that compilers are these original harness and will continue to anchor human-computer interaction as they have always done.

> they shift them into yet another metasystem.

That's a funny euphemism for career change. I'll remember it.