5 ms·
Yeah and at the same time there are efforts to verify standard library using Kani: https://model-checking.github.io/verify-rust-std/ https://model-checking.gith
by karunamurti 2y ago
Yeah and at the same time there are efforts to verify standard library using Kani: https://model-checking.github.io/verify-rust-std/ https://model-checking.github.io/verify-rust-std/
Between this and Bjarne Stroustrup panic leaked email to C++ standards committee members, it's going to be interesting for Rust's future.
- pjmlp 2y agoWhile I agree with the huge adoption improvements, there is also a dose of reality check required. There are several domains where C++ never managed to displace C, and likewise the same seems bound to happen with Rust towards C and C++, regardless of safety improvements. Khronos API definitions, the whole GPGPU ecosystem including vendor tooling, all major runtimes and compiler frameworks, consoles devkits, are few domains where Rust has yet to have a presence.
- RealityVoid 2y agoAll GUI domain seems to be one big state, and that is the kind of place Rust refuses to interact with easily.
- jenadine 2y agoThat's not true. There are many GUI libraries for Rust.
- RealityVoid 2y agoThere are. You can do it. It's just that the language fights you on it.
- bfrog 2y agoNot really, there’s two models that work. The react model and the immediate model. The whole class inherits widget hellscape is not, no loss there. That route inevitably leads to bugs that are hard to find and fix because of all the weird state buried in inherited types.
- ericwood 2y agoGlobal mutable state is difficult to handle correctly and Rust forces you to think through the consequences. There's no shortage of patterns for safely working with it, but you can't take the easy (and unsafe!) way out.
- tonyarkles 2y agoSort of. Last time I looked, about a year ago, there were a bunch and all of the ones I looked at/tried seemed really awkward to use. I don’t love Qt either, but in C++ land it’s a pretty reliable way to slap together a simple UI that doesn’t require a whole lot of ceremony.
- feverzsj 2y agoThey are just far far from mature. Your best bet for rust gui is still Qt bindings.
- galangalalgol 2y agoI really like egui. People talk about it not being professional because it is raster graphics and doesn't have native widgets, but neither of those things are anywhere on my customer's priority list.
- timeon 2y agoTime will tell if Rust GUI libraries will be able to mature but maturity is different topic.
- jenadine 2y agoWhat about Slint? It is stable and used by real software.
- LeFantome 2y agoRust seems tailor made for a compiler framework. The issue is how often do new ones come along? In 40 years, we have GCC and LLvM. How long until something comes along to displace them in any language? Nobody is really trying to “rewrite it in Rust” the LLVM platform (even though Rust itself relies on it). There is Cranelift of course but it is not really trying to be LLVM.
- vhantz 2y agoWhat panic leaked email?
- ndiddy 2y agoI believe this: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3651r0.pdf https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p36...
- vhantz 2y agoThanks > The demands for memory safety are not unreasonable, in fact, I consider them too feeble for the long term, so responding to the demands is in the interest of C++ > The sky isn’t falling, but unless we act now and get C++ onto a track supporting a flexible framework of profiles (supporting various forms of safety), we risk a painful decline. He's simply making the case for profiles and trying to rally the people he works with around that as a necessary goal. That's something that any leadership has to do from time to time. That's also something he's done before when he warned everyone about proposing a bunch of incompatible features with no clear vision. Nothing unexpected here, in no way is this "panicking".