Bryan Cantrill

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.

So yeah, well, I'm a, I'm a postcard fan for sure. Yeah.

So yeah, well, I'm a, I'm a postcard fan for sure. Yeah.

Everything in Postcard, every integer in Postcard, I believe, is varint.

Everything in Postcard, every integer in Postcard, I believe, is varint.

It's also based on a paper, I believe, called BitBuffers, and I think that that's kind of an underappreciated crate that I have really enjoyed using.

It's also based on a paper, I believe, called BitBuffers, and I think that that's kind of an underappreciated crate that I have really enjoyed using.