Stream: project-safe-transmute

Topic: In-Person Meeting

Ryan Levick (Mar 03 2020 at 14:35, on Zulip):

@Lokathor @Shnatsel @Yato @Jack Wrenn @gnzlbg @Josh Triplett @RalfJ I'd like to set up a synchronous meeting to discuss where we are with safe transmute. I think getting together for an hour can help us clarify the use cases we're solving for, what compromises we're willing to make in the interest of shipping something useful faster (even if it might not be the absolute 100% ideal), and which direction we'd like to go for a v1. Please participate in this Doodle to find a time that works for the majority of us. Please also indicate whether you're ok with the group meeting without you or if you believe a meeting should only take place if you can attend:

Lokathor (Mar 03 2020 at 16:24, on Zulip):

Entered. Shame there were no weekend or evening slots though.

Jack Wrenn (Mar 03 2020 at 17:06, on Zulip):

@Joshua Liebow-Feeser, you might be interested in this. (Josh's experience developing zerocopy directly informed Typic.)

Ryan Levick (Mar 03 2020 at 17:37, on Zulip):

@Lokathor time zones are tough. I can’t do too much later than the proposed times as I’m in Europe 😔

RalfJ (Mar 03 2020 at 17:49, on Zulip):

@Ryan Levick I dont think I will have the time for a sync meeting, sorry. I can offer feedback on a written-up proposal, though.

Ryan Levick (Mar 03 2020 at 17:50, on Zulip):

There will absolutely be a written proposal posted here before reaching the RFC stage

Shnatsel (Mar 03 2020 at 19:12, on Zulip):

I've entered my availability. My participation would not be essential, I do not think I have much to contribute. Lokathor or Joshua Liebow-Feeser should have way more valuable input.
cc @HeroicKatora who has evaluated zerocopy and bytemuck and might have valuable input from the perspective of using these things

HeroicKatora (Mar 03 2020 at 20:36, on Zulip):

Thanks for the ping, I've entered as well.

Lokathor (Mar 03 2020 at 20:43, on Zulip):

I would also likely be available in a Thursday time slot during a future week, but this particular week is not good because many others at work are already out of town so I can't shift that around.

Yato (Mar 04 2020 at 03:56, on Zulip):

I can't meet this week, sorry

Ryan Levick (Mar 04 2020 at 13:28, on Zulip):

@HeroicKatora @Shnatsel @Joshua Liebow-Feeser @Lokathor @Jack Wrenn @Josh Triplett Looks like next Tuesday at 6pm European, Noon EST U.S. is the winner. If you all DM me your emails I can send a calendar invite

Ryan Levick (Mar 06 2020 at 12:06, on Zulip):

I didn't realize I have a conflict at 6pm CET so sending the invite for one hour later which according to Doodle also works for people. Let me know if this is an issue.

Lokathor (Mar 06 2020 at 19:27, on Zulip):

Works better for me actually

Jack Wrenn (Mar 10 2020 at 17:22, on Zulip):

I've compiled a condensed introduction to what typic provides, that might be helpful:

Lokathor (Mar 10 2020 at 17:35, on Zulip):

I will try to be ready on time but I'm going to be using a new laptop so zoom might take a moment to set up

Ryan Levick (Mar 10 2020 at 17:59, on Zulip):

Booting up now :-)

HeroicKatora (Mar 10 2020 at 18:00, on Zulip):

How useful would it be to get my webcam to work?

Jack Wrenn (Mar 10 2020 at 19:46, on Zulip):

At the end of the meeting, I suggested frunk-style approach could be used to transitively implement a FromBytes marker trait with very little effort. Here's what that looks like:

(There's a nightly feature used in that example, but it's not at all fundamental to the approach—if frunk implemented Generic for primitive types, it wouldn't be needed).

This mapping of a type to a Generic HList representation is actually exactly what Typic's first 'pass' does. It's a very simple translation: you basically just fold over the fields in a proc macro.

Ryan Levick (Mar 12 2020 at 11:13, on Zulip):

Here are some rough notes on the meeting:

Last update: Apr 03 2020 at 18:20UTC