00:26 <re_irc> <James Munns> I _think_ the docs say this?

00:26 <re_irc> <James Munns> But if you can think of somewhere else we should put it, let us know (and let me find where that is in the docs, I saw it recently)

00:27 <re_irc> <James Munns> https://docs.rs/cortex-m-rt/latest/cortex_m_rt/attr.interrupt.html

00:27 <re_irc> > NOTE: This attribute is exposed by cortex-m-rt only when the device feature is enabled. However, that export is not meant to be used directly – using it will result in a compilation error. You should instead use the device crate (usually generated using svd2rust) re-export of that attribute. You need to use the re-export to have the compiler check that the interrupt exists on the target device.

06:37 <re_irc> <thebutlah> My "defmt" statements sometimes get logged only after the offending behavior that I'm trying to debug. I think this might be because the logs are _deferred_. Is there a way for me to make it so that "defmt" doesn't return from a log statement until the log has actually been printed?

07:10 <re_irc> <ub|k> Slightly off-topic question: does anyone know of a decent open source bike computer? Bonus points if it's in Rust, although my Google searches only find half-made and/or abandoned projects, so not holding my breath.

07:16 <re_irc> <ub|k> this one looks really nice, a pity i don't understand Chinese: https://github.com/FASTSHIFT/X-TRACK

07:17 <re_irc> <9names (@9names:matrix.org)> eh, just use google translate and some imagination :D

07:22 <re_irc> <ub|k> also, where do I get an AT32F435CGU7?

07:23 <re_irc> <9names (@9names:matrix.org)> aliexpress or taobao, i'd guess

07:27 <re_irc> <ub|k> didn't find anything on AliExpress

07:27 <re_irc> <9names (@9names:matrix.org)> also possible you'd have to buy / get samples direct from the manufacturer

07:29 <re_irc> <9names (@9names:matrix.org)> probably easier to substitute a different micro in there. it's just a cortex-m4, not like there's any shortage of those around

07:32 <re_irc> <9names (@9names:matrix.org)> ah, they have them at lcsc

07:34 <re_irc> <9names (@9names:matrix.org)> well, i mean they sell them at lcsc. they have no stock.

07:34 <re_irc> because it's still 2022.

07:49 <re_irc> <MathiasKoch> Hmm.. I have a lifetime issue with a CriticalSection, that i could really use some help with.

07:49 <re_irc> I have written out the variables here, just for clearance.

07:49 <re_irc> ... long message truncated: https://psion.agg.io/_matrix/media/r0/download/psion.agg.io/4f3a87d5b337364c0857fa6f19c2ea0659c035863175955f9a6789b2a4276a9c (59 lines)

07:49 <re_irc> pub trait AsVerifier<'a> {

07:49 <re_irc> I have some trait "AsVerifier":

07:50 <re_irc> <MathiasKoch> Any way to say that 'b lives only within the closure?

07:51 <re_irc> <MathiasKoch> * I thought my 'b would only live for the life of my variable "v"?

11:56 <re_irc> <dirbaio> if you write "impl<'b, F> ... where F: AsVerifier<'b>", the lifetime "'b" is "chosen by the caller"

11:57 <re_irc> <dirbaio> this means your code has to work for any lifetime "'b" the caller chooses

11:57 <re_irc> <dirbaio> but it doesn't, it only works when "'b" is one particular lifetime, the one for the variable "v"

11:57 <re_irc> <dirbaio> so you have to make it so that the lifetime is "chosen by your code"

11:58 <re_irc> <dirbaio> the way to do it is "impl<F> ... where F: for<'b> AsVerifier<'b>"

11:59 <re_irc> <dirbaio> "F: for<'b> AsVerifier<'b>" means "for every possible lifetime "'b", "F" implements "AsVerifier<'b>""

11:59 <re_irc> <dirbaio> BUT

12:01 <re_irc> <dirbaio> this sounds like what you really want is GATs. The "for<'a>" thing like that is a super common workaround to simulate GATs in Rust stable without GATs

12:01 <re_irc> <dirbaio> if you write your trait like this, it should Just Work`

12:01 <re_irc> <dirbaio> * Work

12:01 <re_irc> <dirbaio> pub trait AsVerifier {

12:01 <re_irc> type Verifier<'a>: signature::Verifier<Signature> where Self: 'a;

12:01 <re_irc> fn as_verifier<'a>(&'a mut self) -> Self::Verifier<'a>;

12:01 <re_irc> }

12:01 <re_irc> <dirbaio> if you write your trait like this, it should Just Work without weird "where" clauses

12:02 <re_irc> <dirbaio> MathiasKoch: ^

12:36 <re_irc> <MathiasKoch> Thanks! That seems to work as expected! :)

12:46 <re_irc> <MathiasKoch> dirbaio: Do you know what it takes to get vscode to not complain about a where clause like that in GAT? same with the GAT where clauses in embassy?

12:46 <re_irc> <MathiasKoch> "Syntax Error: expected an item"

12:46 <re_irc> <MathiasKoch> dirbaio: Do you know what it takes to get vscode/RA to not complain about a where clause like that in GAT? same with the GAT where clauses in embassy?

13:02 <re_irc> <dirbaio> it doesn't complain for me 🤔

13:02 <re_irc> <dirbaio> maybe you need to update it?

13:03 <re_irc> <dirbaio> (if that's the case you have a super old version, it'd been working fine for a long while)

18:06 <re_irc> <thebutlah> Is there a matrix community for asking questions about RISC-V specific stuff?

18:07 <re_irc> <thebutlah> +For example, how to interpret the "mepc" register

18:09 <re_irc> <almindor> thebutlah: there are specific board rooms (e.g. gd32v Rust one)

18:21 <re_irc> <thebutlah> whats the best way to find those rooms? Is there a search for rooms feature in matrix?

18:22 <re_irc> <thebutlah> aha! there is! I'm just dumb! 👍️

18:22 <re_irc> <thebutlah> https://psion.agg.io/_matrix/media/r0/download/matrix.org/tbVnBvAxKyjgKdWmZBqFLzaO/image.png

18:25 <re_irc> <James Munns> https://github.com/rust-embedded/awesome-embedded-rust#community-chat-rooms

18:25 <re_irc> <James Munns> The awesome embedded rust list also has some good ones, feel free to add any you see missing :)

18:58 <re_irc> <adamgreig> there's also the #rust-embedded-space:matrix.org (https://matrix.to/#/#rust-embedded-space:matrix.org) space, which should contain all the rooms

18:59 <re_irc> <James Munns> (TIL!)

20:51 <re_irc> <jeffrey01> Seems like no one is talking about the BTC-BTC swap! Do you know that $500Bitcoin can get you $35,500.00 worth BTC within 7days of trading but will give me 10% when you get the profit. Send a DM if interested http://WA.ME/+12345295044