Chris Lattner

I think that we'll solve that problem.

We'll solve it, yeah.

But you look at that and you say, okay, well...

reducing the rote thing, right?

It turns out compilers are very particular and they really want things, they really want the indentation to be right.

They really want the colon to be there on your else or else it'll complain, right?

I mean, compilers can do better at this, but LLMs can totally help solve that problem.

And so I'm very happy about the new predictive coding and copilot type features and things like this, because I think it'll all just make us more productive.

Yeah, absolutely.

I mean, I think that would be interesting.

Is that wise?

Well, I mean, it would be very expensive.

So compilers run fast and they're very efficient, and LLMs are currently very expensive.

There's on-device LLMs and there's other things going on, and so maybe there's an answer there.

I think that one of the things that I haven't seen enough of is that

So LLMs to me are amazing when you tap into the creative potential of the hallucinations, right?

And so if you're doing creative brainstorming or creative writing or things like that, the hallucinations work in your favor.

If you're writing code that has to be correct because you're going to ship it in production, then maybe that's not actually a feature.

And so I think that there has been research and there has been work on building

algebraic reasoning systems and kind of like figuring out more things that feel like proofs.