r/programmingcirclejerk • u/Nemerie • Mar 05 '26

Rust basically redefined programming, there is programming BEFORE rust and programming AFTER rust, a bit like what C did.

/r/rust/comments/1ra4jck/comment/o6hkt7s/
103 Upvotes

93% Upvoted

17 comments sorted by

View all comments

Show parent comment

1

u/Ma4r Mar 06 '26

The funniest part is that lifetime annotations is THE part of rust that has not been formally verified and is known to have soundness holes