Adam Leventhal

We're not introducing a new subsystem.

Like this is pretty straightforward as it goes.

So this is, I would say, a relatively, a case that is, that I really picked because it's kind of biased for success.

Also picked it because we need to do it, by the way.

I mean, that's the other thing.

It's like, this is like,

Either way, it had to be done.

That's exactly right.

I would say the other thing is that the four hours versus two hours ends up being really actionable because I started this at 10 o'clock at night.

And it was like, there's a pretty big difference between going to bed at midnight and going to bed at two in the morning.

You know what I mean?

In terms of, so, you know, sometimes like that, that difference can be, so anyway.

It was pretty impressive and gave me the belief that we could actually use this in lots of other places.

But that is my limited experience.

I definitely want to... So we've got two of our colleagues here.

We've got David and Rain here.

And both of you have used LLMs quite a bit and have discovered, I would say, new vistas of rigor.

Rain, do you want to kick us off on some of the stuff that you've done where you found this to be useful?

Let's actually start chronologically because let's start as you're kind of getting into this stuff.

Back in the day of like eight months ago.