Advertisement · 728 × 90

Posts by Jack Wrenn

The Three Basic Rules of Safety Hygiene

Just as Rust’s borrow checker is the tooling that supports the idiom of ownership and aliasing-xor-mutability, the sum of Rust’s safety tooling — a basket of keywords, well-formedness checks, and lints — is, too, the expression of a deeper idiom.

jack.wrenn.fyi/blog/safety-...

1 year ago 4 0 0 0

Yes! The juice might not be worth the squeeze, but any time const generics don't quite have enough ooomf, the `generic-array` and `typenum` crates can usually pull off the feat. They're *extremely* powerful.

1 year ago 0 0 0 0

Whoa, this might be my favorite sealing method yet! The supertrait technique results in an annoying duplication of impls. The downside of const sealing, I imagine, is that it makes your trait dyn incompatible?

1 year ago 1 0 1 0

Great talk! I, of course, particularly loved seeing zero-copy (de)serialization get a shout-out. Don't hesitate to reach out if there's anything we can do in zerocopy or compiler safe transmute that would help columnar!

1 year ago 2 0 1 0
Fat Rand: How Many Lines Do You Need To Generate A Random Number?

I'm also concerned about the second-order effects of the anti-dependency movement on Rust's evolution, which I wrote up here: www.reddit.com/r/rust/comme...

1 year ago 2 0 0 0

...and it's doubly frustrating because these folks are working against the eventual outcome they ostensibly want: the inclusion of safe transmutation APIs in the standard library. That design effort really benefits from having enthusiastic users of crates like bytemuck and zerocopy.

1 year ago 6 0 1 0

It's a frustrating situation. I take pride in crafting tools that make other OSS maintainers' lives easier, so I can't fault them for abandoning those tools when a vocal "deps for me but not for thee" minority raises such a fuss that they stop using those tools — but it really takes the joy out it.

1 year ago 6 0 1 0
KnownLayout in zerocopy - Rust Indicates that zerocopy can reason about certain aspects of a type’s layout.

An example in Zerocopy: docs.rs/zerocopy/lat...

1 year ago 2 0 0 0

The "given limited funding" framing sounds like they're manufacturing consent for transit cuts.

1 year ago 0 0 1 0
Advertisement

and i'm going to start depending on type system bugs in itertools just to spite you >:]

1 year ago 1 0 0 0

If worry if I had a car, I'd do the same. NJTransit left me stranded many times this semester at Princeton Junction for 30+ mins amidst minor southbound NEC delays. Whether or not the dinky engineer waited around for us seemed entirely down to chance. It really eroded my trust in the service. :(

1 year ago 1 0 1 0

School is still out, so the student population is much reduced. Still, it was pretty busy when we took it at 2:51 today!

1 year ago 2 0 1 0

Yeah, me too. It's genuinely never been anything more than an annoyance for me.

1 year ago 0 0 1 0