FYI Critch in particular is pretty time constrained. I’m not sure who the best person to reach out to currently who has the knowledge and also time to do a good job helping. (I’ll ask around, meanwhile the “apply to MIRI” suggestion is what I got)
Thanks for the word of warning—I’m not sure what anyone’s schedule is like, and it’s good to know who wouldn’t be a good target for an email. But I still think that sending an email to a few different people, and noting that you don’t expect a response if they’re too busy, is valuable in this scenario.
FYI Critch in particular is pretty time constrained. I’m not sure who the best person to reach out to currently who has the knowledge and also time to do a good job helping. (I’ll ask around, meanwhile the “apply to MIRI” suggestion is what I got)
Thanks for the word of warning—I’m not sure what anyone’s schedule is like, and it’s good to know who wouldn’t be a good target for an email. But I still think that sending an email to a few different people, and noting that you don’t expect a response if they’re too busy, is valuable in this scenario.