Arvid Lundmark

Yeah.

Again, it's just non-intuitive. I think that's the key thing.

Again, it's just non-intuitive. I think that's the key thing.

Again, it's just non-intuitive. I think that's the key thing.

So I think the general question is like, Matt, these models are going to get much smarter. As the models get much smarter, the changes they will be able to propose are much bigger. So as the changes gets bigger and bigger and bigger, the humans have to do more and more and more verification work. It gets more and more and more hard. Like it's just, you need to help them out.

So I think the general question is like, Matt, these models are going to get much smarter. As the models get much smarter, the changes they will be able to propose are much bigger. So as the changes gets bigger and bigger and bigger, the humans have to do more and more and more verification work. It gets more and more and more hard. Like it's just, you need to help them out.

So I think the general question is like, Matt, these models are going to get much smarter. As the models get much smarter, the changes they will be able to propose are much bigger. So as the changes gets bigger and bigger and bigger, the humans have to do more and more and more verification work. It gets more and more and more hard. Like it's just, you need to help them out.

It's sort of, I don't want to spend all my time reviewing code.

It's sort of, I don't want to spend all my time reviewing code.

It's sort of, I don't want to spend all my time reviewing code.

Contrary to popular perception. It is not a deterministic algorithm.

Contrary to popular perception. It is not a deterministic algorithm.

Contrary to popular perception. It is not a deterministic algorithm.

Maybe we should talk about how to make it fast. Yeah.

Maybe we should talk about how to make it fast. Yeah.

Maybe we should talk about how to make it fast. Yeah.

And then the advantage is that while it's streaming, you can just also start reviewing the code before it's done, so there's no big loading screen. So maybe that is part of the advantage.

And then the advantage is that while it's streaming, you can just also start reviewing the code before it's done, so there's no big loading screen. So maybe that is part of the advantage.

And then the advantage is that while it's streaming, you can just also start reviewing the code before it's done, so there's no big loading screen. So maybe that is part of the advantage.

I think the interesting riff here is something like, like speculation is a fairly common idea nowadays. It's like not only in language models, I mean, there's obviously speculation in CPUs and there's like speculation for databases and speculation all over the place.