Jack Wrenn's Avatar

Jack Wrenn

@jswrenn

rust and bikes, but not rusty bikes. new york city! project safe transmute | zerocopy | itertools

66
Followers
69
Following
13
Posts
24.11.2023
Joined
Posts Following

Latest posts by Jack Wrenn @jswrenn

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-...

11.02.2025 15:43 👍 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.

07.02.2025 20:22 👍 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?

05.02.2025 17:19 👍 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!

05.02.2025 15:50 👍 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...

04.02.2025 19:12 👍 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.

04.02.2025 13:48 👍 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.

04.02.2025 13:48 👍 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...

31.01.2025 13:48 👍 2 🔁 0 💬 0 📌 0

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

29.01.2025 15:40 👍 0 🔁 0 💬 1 📌 0

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

18.01.2025 03:53 👍 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. :(

11.01.2025 00:56 👍 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!

10.01.2025 23:51 👍 2 🔁 0 💬 1 📌 0

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

24.12.2024 18:51 👍 0 🔁 0 💬 1 📌 0