What r/rust is talking about this week

In the last couple of weeks, I've seen everything known to man being ported to rust, first with the video game merging then Artcraft copying Adobe products and releasing them for free, Minecraft...

Hi everyone! I built lean-miri, a port of Rust's Miri interpreter to the Lean 4 theorem prover. Miri is great at detecting undefined behavior, but it only checks concrete executions. The idea is...

I know this is 100% a skill issue and I’m probably writing C in Rust, but I genuinely feel humbled to my core tonight. I have eight years of backend experience in Go and Python. Three weeks ago, I...

Had a slightly surreal moment at work last week where a test started failing because the code compiled successfully. And the test was right. We maintain a small internal Rust crate that handles...

Hi! I’m a hobbyist programmer without a formal computer science background, and I’ve recently started studying CS and compilers on my own. I’d like to know whether I could contribute to rustc or...

I’ve been exploring Rust, and one topic that got me intrigued is pointer provenance, particularly because it’s not easy to visualize. To get a feel for vtables, what I wanted was to look at the...