01:28 <corecode[m]> unfortunately the talk is more of an overview and not details on best practices on making formal tests

01:30 <thompson[m]1> Hello everyone I'm a Grower and supplier of cannabis and psychedelics products such as;... (full message at <https://catircservices.org/_matrix/media/v3/download/catircservices.org/kobpwFJJKPmpMcylPlzchEFY>)

01:35 <Vicente[m]> <thompson[m]1> "Hello everyone I'm a Grower..." <- > <@thompson_1:matrix.org> Hello everyone I'm a Grower and supplier of cannabis and psychedelics products such as;... (full message at <https://catircservices.org/_matrix/media/v3/download/catircservices.org/djYmKxdhQVRjFinNGgpAwXhX>)

01:35 <Vicente[m]> * I had enough drug with Olympics opening

01:35 <takkaryx[m]> did you understand it with that? because I certainly didn't without any

01:36 <Vicente[m]> takkaryx[m]: hehe

01:38 <Vicente[m]> They must being killing some children these nights

01:43 <JamesMunns[m]> Reminder to ping a mod and don't interact with spammers please :)

01:46 <takkaryx[m]> I should learn how to ping mods....

02:15 <robtsuk[m]> Well, I couldn't leave it alone so I ended up with... (full message at <https://catircservices.org/_matrix/media/v3/download/catircservices.org/yJNbzirKmakMIJQMFYvGmBon>)

10:55 <JamesSizeland[m]> <9names> "> <@jsizeland:matrix.org> Anyone..." <- Ok just to close this out, it was because I had cargo-espflash installed but not espflash !

12:11 <andar1an[m]> Im finding it challenging finding job postings on various platforms to work with Embedded Rust.

12:11 <andar1an[m]> Does anyone know of a list of companies one may search career pages for?

12:11 <andar1an[m]> I'm a mechanical and software engineer who has worked with well know companies in both industries, just looking to be able to throw hat in ring for any kind of risc-v rust work.

12:42 <adamhott[m]> Hey all, I have a WIP for that proposal for the robot I mentioned, if anyone cares to take a look. https://github.com/adamhott/rust-spot-wg-proposal

14:19 <andar1an[m]> That is cool. Have you considered including a detailed drawing package constrained with GD&T? That is highly valuable learning also and could be very complementary

14:20 <adamhott[m]> I'm not sure what that is?

14:20 <andar1an[m]> 1 moment

14:20 <andar1an[m]> Last I saw that spec was ASME Y14 5

14:20 <andar1an[m]> https://www.gdandtbasics.com/asme-y14-5-gdt-standard/

14:22 <adamhott[m]> This could be possible, I'm not sure something like that would be absolutely necessary for the proposal

14:25 <andar1an[m]> My mistake, I thought your book was to cover physical design process also. I may have misread

14:25 <andar1an[m]> Wither way, if you didn't know about it, it is very cool and very effective

14:26 <adamhott[m]> I think it's great, I'm going to read up on it!

14:30 <andar1an[m]> Maybe it would nice to site GD&T for learning when mentioning quick concepts? Without needing to dive in

14:30 <adamhott[m]> I'll check it out!

15:47 <mobergmann[m]> Hi, I have a short rust related question. I need to access the discriminant of an enum (so I can send the data in an array via the i2c interface). How would I go about this? [`std::mem::discriminant`](https://doc.rust-lang.org/std/mem/fn.discriminant.html) is no option as it is in std.... (full message at <https://catircservices.org/_matrix/media/v3/download/catircservices.org/OzGdHZsWltSxPqxKbkmtgHaM>)

15:48 <mobergmann[m]> *

15:48 <JamesMunns[m]> You can add #[repr(u8)] to your enum

15:50 <ryan-summers[m]> Also check out [`num_enum`](https://docs.rs/num_enum/latest/num_enum/)

15:51 <JamesMunns[m]> https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=6474db38b7c7fcf7001568f9e0445631

15:51 <JamesMunns[m]> and btw, there's also core::mem::discriminant, but this isn't what you want: https://doc.rust-lang.org/core/mem/fn.discriminant.html

15:53 <mobergmann[m]> 🫶 Its working, many thanks to you!

17:59 <dirbaio[m]> are these linker warnings something I should worry about?... (full message at <https://catircservices.org/_matrix/media/v3/download/catircservices.org/YRShTWbDqhNhloiUZqWEWgnx>)

17:59 <dirbaio[m]> broken dwarf :P

18:36 <JomerDev[m]> What, did his beard get cut off? 😁

21:55 <d3zd3z[m]> Interesting thing running into on Zephyr. Rust does allow #[repr(align(n))] on declarations. However, the n has to be an integer literal. In Zephyr, these are defined by arch-specific includes, which, in my case bindgen makes into a const. Any things on a good way to handle this?

21:57 <d3zd3z[m]> Is there any way of making this general, short of making my own procedural macro for the repr.

22:38 <JamesMunns[m]> There was a somewhat cursed align generic crate

22:38 <JamesMunns[m]> https://docs.rs/elain/latest/elain/

22:39 <JamesMunns[m]> Not sure if that solves it, but maybe?