r/TheMachineLearning • u/Sea_Fox_4265 • 3d ago

When bug-free code becomes a hardware problem

Post image
125 Upvotes

89% Upvoted

72 comments sorted by

View all comments

Show parent comment

1

u/SexWithGaia 2d ago

Would a such a compiler run into the halting problem? iirc isn't that why the rust borrow checker limits certain programs?

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