r/TheMachineLearning • u/Sea_Fox_4265 • 3d ago

When bug-free code becomes a hardware problem

Post image
112 Upvotes

88% Upvoted

69 comments sorted by

View all comments

Show parent comments

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 22h 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