Bryan Cantrill

Um, so I think it's, you know, Eliza, just, you're saying, Oh, what you're saying about like the, it, being very upfront about, about who you are as a crate and kind of what, what the rubric is going to be for the way a crate decides to integrate additional work or not, I think is extremely helpful.

Um, so I think it's, you know, Eliza, just, you're saying, Oh, what you're saying about like the, it, being very upfront about, about who you are as a crate and kind of what, what the rubric is going to be for the way a crate decides to integrate additional work or not, I think is extremely helpful.

Yeah, and I also love the why not under LexOpt too.

Yeah, and I also love the why not under LexOpt too.

What else is on everyone's list?

What else is on everyone's list?

Okay, so I was going to ask. So Loom has found an interleaving, which now has incorrect behavior. Yeah. What happens now? In terms of getting from that interleaving to understanding, were you able to relatively easily get from Loom's discovery of an interleaving to be able to wrap your brain around what had actually happened?

Okay, so I was going to ask. So Loom has found an interleaving, which now has incorrect behavior. Yeah. What happens now? In terms of getting from that interleaving to understanding, were you able to relatively easily get from Loom's discovery of an interleaving to be able to wrap your brain around what had actually happened?

This is a life-changing crate for you, in part because it highlighted the challenges in your own weight and log-free data structures.

This is a life-changing crate for you, in part because it highlighted the challenges in your own weight and log-free data structures.

yeah, that is wild. And I mean, I see it kind of like chilling when you start seeing all of the, also when you have these issues where you realize like, God, the, the symptoms of this problem would be really far removed from the root cause. It'd be really difficult to debug presumably.

yeah, that is wild. And I mean, I see it kind of like chilling when you start seeing all of the, also when you have these issues where you realize like, God, the, the symptoms of this problem would be really far removed from the root cause. It'd be really difficult to debug presumably.

Um, if seen in the wild, it would just kind of be, uh, you would die on some state and the inconsistency and presumably, um, and then try to reason about how the hell he could possibly end up in that state. Um, Yeah, that seems great. And I love the fact... So was Loom done by Carl as part of the work on Tokyo?

Um, if seen in the wild, it would just kind of be, uh, you would die on some state and the inconsistency and presumably, um, and then try to reason about how the hell he could possibly end up in that state. Um, Yeah, that seems great. And I love the fact... So was Loom done by Carl as part of the work on Tokyo?

I mean, was Loom born out of the need to be able to better understand or validate the Tokyo changes?

I mean, was Loom born out of the need to be able to better understand or validate the Tokyo changes?

That's great. The performance is terrific. It's also just extremely satisfying when you've got the computer just working so hard. I love it when the computers are working. We get to come back in an hour and see what the computer has found in terms of these subtle issues. It's very satisfying. That's great, Eliza.

That's great. The performance is terrific. It's also just extremely satisfying when you've got the computer just working so hard. I love it when the computers are working. We get to come back in an hour and see what the computer has found in terms of these subtle issues. It's very satisfying. That's great, Eliza.

Yeah, interesting. and trying to just driving towards something that is simpler. Um, and then, um, uh, someone in the chat asks about postcard. Um, I wish she's postcard in, in humility. We have, uh, humility and hubris use postcard, um, as a, is that a 30 serialization format? Yeah. Yeah. And it, but one that is, uh, pretty tight, um, and pretty straightforward.

Yeah, interesting. and trying to just driving towards something that is simpler. Um, and then, um, uh, someone in the chat asks about postcard. Um, I wish she's postcard in, in humility. We have, uh, humility and hubris use postcard, um, as a, is that a 30 serialization format? Yeah. Yeah. And it, but one that is, uh, pretty tight, um, and pretty straightforward.