npub17s…cwekh on Nostr: nprofile1q…ejrff it's halting-problem-hard, no? Hmm... Maybe notnprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqzglpd69ltamxe7nnm6rdfleu8amgg3sn24n8rvdey6avckmeax8qsejrff (nprofile…jrff) it's halting-problem-hard, no?Hmm... Maybe not