I need to compare again, or make ours open sooner 😅 I think our main take compared to others is the git based staleness and unfulfilledness analysis we do, so there is no need for anything expect an mdbook and code annotations. Hard to fit in a post, but giving it a go would answer most questions.
We're close to open up what we worked on, let's look for synergies then and maybe there can be some inspiration flow between the projects 🚀
Yeah, that's on us - we should have opened issues on the tooling we evaluated when we encountered issues in them ...
Will do!
Yeah the LSP is really nice we stole that idea directly for the developer experience :D
We also evaluated tracey, t-reqs, doorstop, mantra, ... All were sadly broken in their own way or based around a workflow for safety critical that did not work with our team/our git as source of truth for staleness analysis. So we built our own internal tool. I think we'll open it up soon.
Headline: We’re talking Ferrocene and Rust at #ew26 Body Text: Find us at Booth 4-402 in Hall 4. We’ll be there with demos, insights into Rust on embedded systems and (of course!) Stickers. Find us under our Ferrocene Ferrous marquee. Its a blue square and in the corner is an illustration of the crab known as Ferris. Ferris is wearing a fashionable hard hat with the Ferrocene logo on it, because this Ferris enables critical-safety in a controlled Rust environment thanks to the efforts of Ferrous Systems. You go, Ferris!
We're going to Nuremberg! You can find us at #EmbeddedWorld in Hall 4 at booth 4-402.
Come say hi!
Bare-metal SMP Armv8-R AArch32 in Rust, ping ponging Software Generated Interrupts between cores using the Generic Interrupt Controller v3.
I'm very happy to see this working.
github.com/thejpster/aa...
Hell yeah, Cortex-R (ARMv7-R) support in probe-rs :D
github.com/probe-rs/pro...
That sounds like the sane pragmatic choice 👍👍
After poking the PL192 VIC registers in our Cortex-R5F for a few hours and wondering why nothing is happening (and no hardfaults 🤔), remember to double check that the vendor has not replaced the standard interrupt controller with their own 💔 Assumptions is the mother of all ... VIM != VIC
*looking at TI safety critical MCU* applications: elevators, dangerous machinery, ..., game consoles, TV remote
Huh
I've wanted to try that, still waiting for a good project
Du you have any resource you recommend if one wants to try and make one?
Rust 1.93.0 has been released! 🌈 🦀✨
This release includes a new musl version for the *-linux-musl targets, adds support for #[cfg] inside asm!(), and adds [T]::as_array, VecDeque::{pop_front_if, pop_back_if}, Vec/String::into_raw_parts, fmt::form_fn, and more! ✨
blog.rust-lang.org/2026/01/22/R...
It's been 0 days since I had to convince someone that CRC is not equivalent to encryption.
Do you have any nice standoff when there are components on the bottom side and want to preheat a board?
Linkers for embedded kinda suck, no?
Do you work at a big company who could use a new one?
At @tweedegolf.bsky.social we have some amazing people who could build an awesome new embedded linker.
We should talk.
Looks like a more modern Gerrit
🪦
Oh this looks nice, is there somewhere one can follow this?
A DSL which outputs kicad netlists would be a fun little project
Parts could have their requirements, e.g. surrounding passives, differential pairs, length matching, current reoriented, ... encoded. And linters & CI could check that it's followed or a known "accept the risk of not following". I think the answer is "it's how it's always been done"
Sure one would want to sometimes view things, but that sounds like something that can be generated. And eventually one would trust the type system more and more.
Maybe a stupid question, but why is schematics for PCB design not code? For more advanced "PCBs" (read ICs) we use HDL and in the end if there is an MCU we code it. If it was "code" I'm wondering what amazing linters, CI, checks, integrated knowledge about parts, type safe modules ... could be done.
o/
Yeah the SPI interfacing ones are around 4 euros, though if you have a MAC the RMII ones are in the 2-3 euro range. :)
If you want to try something fun, I can recommend power over datalines (PoDL) using single pair Ethernet (SPE). It's easy to integrate as well if you use the 10MBit standard, there are SPI based transceivers. So you can either get multi drop (T1S) or long cables (T1L).
Cartoon trick or treaters receiving KiCad version 9.0.6. Caption says "No Tricks, Only Treats This Year"
www.kicad.org/blog/2025/10...
Image saying Typst 0.14. It has a holographic effect. The background is a pattern of checkmarks, at the top, it changes to a pattern of the string "0.14". The horizontal bar across the top reads "Title Elementm Skewed Fractions, Table Subheaders, Accessible Documents, Character-level Justification, PDF/A compliance, PDF Images, Typed HTML API"
Typst 0.14 is out now! Get ready for production with accessibility, PDFs as images, character-level justification, and more. Learn about more of the highlights in Typst 0.14 in the thread below ⤵️
