this post was submitted on 31 Jul 2026
7 points (100.0% liked)

Rust Programming

9333 readers
1 users here now

founded 7 years ago
MODERATORS
 

Hey, I'm a webdev. I previously approached my project with JavaScript. I'm familiar with the js ecosystem.

I put a fair bit of consideration and in contrast to my JavaScript-approach, I'd like to investigate Dioxus.

I'm not completely new. I've dabbled in Rust before. I have read a lot of the docs and I'm sure there is much more to learn and practice.

What advice would you give to getting started with the Rust ecosystem approach?

Similar to a lot of languages there are considerations for things like tests. So it would be useful to see the options there. As well as any other best-practices and nuances.

In relation to my project, I'm particularly interested in the tooling available in rust for formal verification.


Just to be clear, im not here to waste your time on my slop, but if you want to see what I've got so far (practically nothing):

top 1 comments
sorted by: hot top controversial new old
[–] PumpkinDrama@reddthat.com 2 points 3 days ago* (last edited 3 days ago)

I'm practicing rust with this:

Working on Piefed port to rust with code along book
AI agent workflow: Just tasked my AI agent with writing a 100k+ word kid-friendly Markdown book teaching how to build a full Rust project from scratch—step-by-step, follow-along coding style.

I was also thinking of porting photon to yew, leptos or dioxus but in the end I decided to learn svelte instead, seems much more popular, and maintaining another port would be too much.

What made you decide on dioxus?