Re:Rust in Android: move fast and fix things
by ViewTrick1002 on Thursday November 13, 2025 @03:51PM
(#45920365)
The unsound bug tracker is were my heart gets all warm and fuzzy in Rust land.
All the ways to coerce and poke the implementation of what should be safe constructs to produce unexpected garbage - and people spending time fixing the issues!
It’s like the best possible advertisement for ”we enable soundness and correctness for all your programs.”
All the ways to coerce and poke the implementation of what should be safe constructs to produce unexpected garbage - and people spending time fixing the issues!
It’s like the best possible advertisement for ”we enable soundness and correctness for all your programs.”
https://github.com/rust-lang/rust/issues?q=state%3Aopen%20la...