ParentFull threads-zeng·I think he might be referring to Rice's Theorem, which to be fair is reducible to the halting problemView on HN