News for hackers. Stuff that matters.

A comment on Rice’s Theorem: An interactive tutorial. Parent comment

Re:Rice’s Theorem: An interactive tutorial by UncleMeat on Friday November 25, 2022 @02:08PM (#33745739)
> I'd argue the complete opposite. It's very meaningful for me to distinguish whether a program works correctly, crashes due to running out of memory or loops forever.

Great. And the entire field of static analysis is available for you to do this. But when discussing the formal consequences of the halting problem it is just completely pedantic to show up and point out that actually you can run Coverity and it'll spit out some pretty useful results on most programs.

[ Parent | on HN ]
Re:Rice’s Theorem: An interactive tutorial by wizeman on Friday November 25, 2022 @02:22PM (#33745871)
> Great. And the entire field of static analysis is available for you to do this. But when discussing the formal consequences of the halting problem it is just completely pedantic to show up and point out that actually you can run Coverity and it'll spit out some pretty useful results on most programs.

I'm glad that my points were so clear and obvious to you!

[ Parent | on HN ]