Menu
Sign In Search Podcasts Charts People & Topics Add Podcast API Pricing

Rain Paharia

👤 Person
138 total appearances

Appearances Over Time

Podcast Appearances

Oxide and Friends
Crates We Love

Bytes also comes with a trait called buff, and that buff trait does not require the sequence of bytes to be contiguous. So you can imagine a different implementation, which actually is the segmented list or a segmented queue, which ends up being the right data structure for this off byte sequences. So buff list is actually that segmented queue. And I might've talked about it.

Oxide and Friends
Crates We Love

Bytes also comes with a trait called buff, and that buff trait does not require the sequence of bytes to be contiguous. So you can imagine a different implementation, which actually is the segmented list or a segmented queue, which ends up being the right data structure for this off byte sequences. So buff list is actually that segmented queue. And I might've talked about it.

Oxide and Friends
Crates We Love

I think I talked about it in the episode where we talked about prop test and verification, but that was where I ended up writing a cursor type over it, one that can essentially navigate this queue and use prop test for that, and ended up finding six different bugs, because like Eliza, I find it very, very hard to reason about these things by myself.

Oxide and Friends
Crates We Love

I think I talked about it in the episode where we talked about prop test and verification, but that was where I ended up writing a cursor type over it, one that can essentially navigate this queue and use prop test for that, and ended up finding six different bugs, because like Eliza, I find it very, very hard to reason about these things by myself.

Oxide and Friends
Crates We Love

Yeah, that is great, Eliza. I ended up writing the very incorrect at first, but now fully correct cursor implementation. That was my contribution to it.

Oxide and Friends
Crates We Love

Yeah, that is great, Eliza. I ended up writing the very incorrect at first, but now fully correct cursor implementation. That was my contribution to it.

Oxide and Friends
Crates We Love

Um, yeah, uh, the last one I actually wanted to mention, uh, because I think it, it deserves a real, real shout out is, uh, Winnow. So, um, maybe this came up in the, in the chat earlier, but, um, so, uh, so I got a, you know, I got a, I got a degree in computer science and like, you know, one of the requirements is a compilers class.

Oxide and Friends
Crates We Love

Um, yeah, uh, the last one I actually wanted to mention, uh, because I think it, it deserves a real, real shout out is, uh, Winnow. So, um, maybe this came up in the, in the chat earlier, but, um, so, uh, so I got a, you know, I got a, I got a degree in computer science and like, you know, one of the requirements is a compilers class.

Oxide and Friends
Crates We Love

And like, I hated writing compilers and I hated writing parsers. That was my least favorite class out of the whole thing. Um, and. Since then, I've had to implement parsers a few times, and each and every time I've just, like, it's been miserable. And NOM, so I ended up using NOM for something. And NOM, I think, is a great library.

Oxide and Friends
Crates We Love

And like, I hated writing compilers and I hated writing parsers. That was my least favorite class out of the whole thing. Um, and. Since then, I've had to implement parsers a few times, and each and every time I've just, like, it's been miserable. And NOM, so I ended up using NOM for something. And NOM, I think, is a great library.

Oxide and Friends
Crates We Love

There's a whole bunch of trade-offs across all the different libraries. But I ended up using NOM for something, and I thought NOM was okay. Winnow feels like the first time where writing a parser was a joyful experience, which is not something I ever thought I would say about a parser library. So I did want to make a special shout out to Winnow. Ed Page has done a lot of work on this stuff.

Oxide and Friends
Crates We Love

There's a whole bunch of trade-offs across all the different libraries. But I ended up using NOM for something, and I thought NOM was okay. Winnow feels like the first time where writing a parser was a joyful experience, which is not something I ever thought I would say about a parser library. So I did want to make a special shout out to Winnow. Ed Page has done a lot of work on this stuff.

Oxide and Friends
Crates We Love

And Winnow is absolutely like, I think if you want to write something parser shaped, then you should probably take, you should either use Winnow or if you want to do your own thing, you should look very heavily at Winnow and see what it does and kind of use that as inspiration.

Oxide and Friends
Crates We Love

And Winnow is absolutely like, I think if you want to write something parser shaped, then you should probably take, you should either use Winnow or if you want to do your own thing, you should look very heavily at Winnow and see what it does and kind of use that as inspiration.

Oxide and Friends
Crates We Love

Yeah, it's one of those things, right, where it's, like, it says 0.6 or whatever, but, like, it is, like, too high quality to be, like, you know, just kind of treated that way. I think it is, like, it is a very, very mature crate. I've used that. I know a bunch of other Oxide have used it.

Oxide and Friends
Crates We Love

Yeah, it's one of those things, right, where it's, like, it says 0.6 or whatever, but, like, it is, like, too high quality to be, like, you know, just kind of treated that way. I think it is, like, it is a very, very mature crate. I've used that. I know a bunch of other Oxide have used it.

Oxide and Friends
Crates We Love

Pretty sure Rai, I think I pointed Rai to it, and he was really excited, and he ended up using it, and he was pretty happy with it. So, yeah, Winnow is my shout-out.

Oxide and Friends
Crates We Love

Pretty sure Rai, I think I pointed Rai to it, and he was really excited, and he ended up using it, and he was pretty happy with it. So, yeah, Winnow is my shout-out.

← Previous Page 7 of 7 Next →