Adam Leventhal

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.

Yeah, interesting.

So, yeah, a bunch of follow-up questions.

So that's really interesting.

So one, I mean, this is the kind of tedium that you do.

Just like you say about the doc tests.

We all know the doc tests are great.