Quite a lot of type system modeling has gone into Dada so far, though I don't know the details. Some of that work is here: https://github.com/dada-lang/dada-model
Miri is so good. Thank you Ralf for dedicating yourself to this project for so long.
When I have Rust projects with subsystems that must be unsafe, I will design them around Miri testability. This mostly means writing small unit-testable units and isolating I/O as much as possible. I almost always find I have made mistakes that Miri catches.
The multiple meanings of many of the words in this sentence make it really poor at communicating what the site is about. "Endeavour" (with a capital 'E') is a proper name I associate with a space shuttle, and 'stellar' can mean 'having to do with stars'. So a first read for me leads to the conclusion that this site has something to do with space flight. And 'system' could mean almost anything. Maybe this site will let me personalize my own star system? All I can take away is that I'm not sure what this is, but clearly I'm not the target audience. Which I'm fine with.....
Rephrasing, Endeavour is something that is started with a terminal system based on Arch.
I know that's a cheesy way to say it's an Arch distro but I hope you notice how poor the phrasing is for someone trying to understand what they've been linked to.
I've been using slint for a desktop project recently and having a lot of fun with it - it's pretty simple and the design has an interesting and fairly clean separation between the UI language and the backing application code (in Rust in my case). Recaptured a bit of my lost love for desktop apps.
