117
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 25 Dec 2025
117 points (90.9% liked)
Programming
29221 readers
544 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
founded 3 years ago
MODERATORS
Rust helps you resolve memory bugs. Not logic bugs. Yeah, it's going to be new memory safe code... But it won't be bugfree code.
Ain't gonna be memory safe either, they'll just wrap everything in
unsafe.Oh wait... It's AI. Just to pass the compiler and the unit tests it will either cast to whatever it desires or just make the tests pass forcefully.
It can help with logic bugs (e.g. by encoding the state machine logic directly in the type system, so an invalid transition won't compile), and things like data sharing issues (Again, type system, tracks sharable objects vs. those that aren't), but none of those are as "impervious" as the memory safety stuff.
But that all still requires rearchitecting, because if the existing code already follows those rules, it already probably doesn't suffer from those issues (e.g. I know you can do the state machine type stuff in C# at least)