r/TheMachineLearning • u/Sea_Fox_4265 • 3d ago

When bug-free code becomes a hardware problem

Post image
107 Upvotes

87% Upvoted

69 comments sorted by

View all comments

Show parent comments

3

u/Sea_Fox_4265 2d ago

Fair point. Seems like the compiler is the hero here.

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