Rust

8129 readers

18 users here now

Welcome to the Rust community! This is a place to discuss about the Rust programming language.

Wormhole

!performance@programming.dev

Credits

The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)

founded 3 years ago

MODERATORS

snowe@programming.dev

Ategon@programming.dev

EdTheLegendary@programming.dev

torcherist@programming.dev

Anybody with experience / insights on Dioxus? I have an idea and want to see if its worth investigating further. (programming.dev)

submitted 3 days ago by xoron@programming.dev to c/rust@programming.dev

4 comments fedilink hide all child comments

i am working on a messaging app and created some details in rust. rust is useful because it has tooling for formal verification. my rust code compiles to WASM to be used in a browser.

my project itself is using cryptography beyond the WASM because browsers provide a crypto api for basic functionality out-of-the-box.

to work with what i have now (javascript/typescript) i came across this page, but the links lead to 404 pages on github. not sure about the status of the project. i dont know if there are other similar projects.

https://formal.land/docs/verification/typescript

i would like to improve the "formal-verification coverage" in my project and wanted to investigate if it could be worth considering rewriting the frontend with dioxus. im happy with an ugly UI (initially) in favour of having formal-verification on a broader scope of my project.

(context: the project where i have formal verification is found here: https://github.com/positive-intentions/signal-protocol (this isnt the gold-standard implementation and its far from finished)

you are viewing a single comment's thread
view the rest of the comments

[–] xoron@programming.dev 1 points 2 days ago* (last edited 2 days ago) (1 children)

Thanks. I'm a JavaScript developer. To create a webapp is relatively easy for me because I'm familiar with the tooling.

I see there are things like UI component libraries like dioxus-material... I suspect there will be things I might have to create myself. Are there nuances that might stand out?

What are your thoughts on the ecosystem with dioxus?

My core reason to consider dioxus over JavaScript is the ability to use more mature tooling for formal verification.

[–] magikmw@piefed.social 2 points 2 days ago (1 children)

And I agree with that core reason, it's why I chose dioxus too.

I've not bothered with component libraries, as my UI is ironically very simple, but the ecosystem is slowly growing.

For simpler stuff you can use tailwind out of the box with it's various libs.

I heard dioxus is react-like which tells me barely anything, as I've avoided writing any JavaScript in my 15 years of programming, but the rsx components seem intuitive enough for me.

You get a signal framework too, the usual rust examples/ dir is there to show how to do some things.

One thing I struggled with was auth, especially any SSO auth. There's barely any rust crates for it (and none high level ones), and dioxus docs aren't straightforward with how to integrate axum middleware. Gotta dig deeper.

For frontend only, it seems great. Other than wasm being a bit of a chunk to download it's quick, usually well hydrated and the UI seemingly being on one page with no page loads is cool.

[–] xoron@programming.dev 2 points 2 days ago

Thanks!

It sounds promising if you chose it for a similar reason.

I'll plan something and see if I can get all the core parts working.