18 Nov 2023 |
kevlar700 (Kevin Chadwick) | * In reply to bla
Is Ada safer than Rust though? Honest question. Had short contact with it years ago only.
In reply to @tomasz.fortuna:im.jakby.co
Is Ada safer than Rust though? Honest question. Had short contact with it years ago only.
I didn't mean to start a discussion. Just I saw some of the syntax that he was dealing with. Ada's exact typing can catch a great deal of logic errors. Spark mode is especially safe for critical functions. Otherwise they are largely on par. Rust has more powerful borrowing. Though Adas records for hardware overlay are much safer in my opinion and lovely to use.
| 22:21:18 |
kevlar700 (Kevin Chadwick) | For whatever reason there are more people using Rust though. Atleast in the open. So that may matter to you. | 22:23:50 |
Jan | Thank you for the suggestion, maybe i will have a look into it. Right now i like programming Rust on the Desktop and wanted to test how this translates to embedded. I was curious about the possibilities to create "failsafe" interfaces by leveraging the type system ironically it seems to be exaclty that where i canÄt get my head around :D | 22:26:53 |
adamgreig | kevlar700 (Kevin Chadwick): not that it's a problem, but you know this is a channel for talking about rust on stm32, right? | 22:44:12 |
adamgreig | like, it's not a surprise that everyone here is talking about rust :p | 22:44:30 |
bla | @Jan BTW, not every approach to embedded Rust uses strict typesystem for handling GPIOs for example. Those can be unwieldy at times. | 22:54:11 |
bla | But If trying Rust, I'd suggest embassy/RTIC. Make sure you use defmt, and probe-run to run code. I had some history with checking what's useful before I've settled on state-of-the-art... Maybe those even changed since? | 22:56:13 |
adamgreig | indeed, probe-run is deprecated in favour of probe-rs run 😆 | 22:56:46 |
bla | Ah, yes. I was certain something like that happened. | 22:56:58 |
adamgreig | the good news is it's essentially identical, you can just replace "probe-run" with "probe-rs run" | 22:56:59 |
bla | (I even tested it, found a bug that was fixed and now probably can migrate...) | 22:57:13 |
adamgreig | probe-run was a wrapper around the probe-rs library, and now probe-rs ships a wrapper included | 22:57:20 |
bla | Tutorials one finds on the net tend to be outdated in one way or another. | 22:58:02 |
kevlar700 (Kevin Chadwick) | In reply to @adamgreig:matrix.org kevlar700 (Kevin Chadwick): not that it's a problem, but you know this is a channel for talking about rust on stm32, right? Yes. I only meant to lurk out of interest. I shall avoid talking about Ada here in the future. | 23:20:51 |
28 Nov 2023 |
| nefarious19 joined the room. | 08:49:37 |
29 Nov 2023 |
| Liam Kinne joined the room. | 04:00:41 |
burrbull | adamgreig: https://stm32-rs.github.io/stm32-rs/stm32h743.svd.patched not avaliable | 07:33:54 |
adamgreig | weird, it's listed twice on https://stm32-rs.github.io/stm32-rs/ too | 21:37:06 |
James Munns | Wild guess: case-insensitive file system problems in git? | 21:46:54 |
James Munns | None of the svds are available? https://stm32-rs.github.io/stm32-rs/stm32g491xx.svd.patched | 21:50:01 |
adamgreig | some of them are fine, like https://stm32-rs.github.io/stm32-rs/stm32f301.svd.patched | 21:59:08 |
adamgreig | that one should be stm32g491.svd.patched | 21:59:50 |
adamgreig | no issues on the action | 22:01:12 |
adamgreig | and if I build it locally it's OK | 22:01:15 |
30 Nov 2023 |
| spinfast changed their profile picture. | 17:33:19 |
1 Dec 2023 |
dodothattried | Redacted or Malformed Event | 20:13:38 |
3 Dec 2023 |
burrbull | Does anyone have suggestions/comments for https://github.com/rust-embedded/svdtools/pull/176 ? | 13:16:09 |
5 Dec 2023 |
| @appservice:libera.chat left the room. | 05:24:54 |
8 Dec 2023 |
| Sigmar joined the room. | 18:11:24 |
10 Dec 2023 |
| Geoffrey Smith joined the room. | 23:43:52 |