John Regehr on Nostr: nprofile1q…t403x great to hear! it's super slow for sure. we don't have a fix for ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqd4rxg0k0lqru9deg0090ynzn0htgj7mtyz0f09w50j633r2dq88sxt403x (nprofile…403x)
great to hear!
it's super slow for sure. we don't have a fix for this, it's hard stuff even in principle. but there are a lot of ways to restrict its search space. I'd be happy to chat more, and we can also bring Zhengyang into the conversation. like I said he seems a bit overwhelmed at the moment but he would certainly be happy for someone to be using his code!
great to hear!
it's super slow for sure. we don't have a fix for this, it's hard stuff even in principle. but there are a lot of ways to restrict its search space. I'd be happy to chat more, and we can also bring Zhengyang into the conversation. like I said he seems a bit overwhelmed at the moment but he would certainly be happy for someone to be using his code!