News for hackers. Stuff that matters.
Re:Rust Dependencies Scare Me by hedora on Friday May 09, 2025 @09:51PM (#43942634)
Dead code elimination is exactly the same as the halting problem. It’s approximate (and hopefully conservative!) at best.
Re:Rust Dependencies Scare Me by kibwen on Saturday May 10, 2025 @08:26AM (#43945084)
No, dead code elimination in a statically-dispatched language is not equivalent to the halting problem.