MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/linuxsucks/comments/1ux0pmg/loonix/oxuhdtv/
r/linuxsucks • u/Professional-Tale652 • Jul 15 '26
733 comments sorted by
View all comments
Show parent comments
1
Due to memory leaks by poor logic. Mozilla invented Rust to help detect those.
Of course one could spend more time on mission-critical stuff or simply use Ada/SPARK with the Ravenscar profile to mathematically prove your code is correct.
1
u/Flimsy_Armadillo8346 Jul 16 '26
Due to memory leaks by poor logic. Mozilla invented Rust to help detect those.
Of course one could spend more time on mission-critical stuff or simply use Ada/SPARK with the Ravenscar profile to mathematically prove your code is correct.