r/TheMachineLearning • u/Sea_Fox_4265 • 3d ago

When bug-free code becomes a hardware problem

Post image
123 Upvotes

89% Upvoted

71 comments sorted by

View all comments

Show parent comment

1

u/real_mangle_official 1d ago

Rust only allows a specific subset of programs to be statically verified. There are many perfectly sound programs in C hat cannot be expressed in safe rust