Definitely in-expectation I would expect the week doing ELK to have had pretty good effects on your community-building, though I don’t think the payoff is particularly guaranteed, so my guess would be “Yes”.
Thinks like engaging with ELK, thinking through Eliezer’s List O’ Doom, thinking through some of the basics of biorisk seem all quite valuable to me, and my takes on those issues are very deeply entangled with a lot of community-building decisions I make, so I expect similar effects for you.
Thanks! I spend a fair amount of time reading technical papers, including the things you mentioned, mostly because I spend a lot of time on airplanes and this is a vaguely productive thing I can do on an airplane, but honestly this just mostly results in me being better able to make TikToks about obscure theorems.
Maybe my confusion is: when you say “participate in object level discussions” you mean less “be able to find the flaw in the proof of some theorem” and more “be able to state what’s holding us back from having more/better theorems”? That seems more compelling to me.
Definitely in-expectation I would expect the week doing ELK to have had pretty good effects on your community-building, though I don’t think the payoff is particularly guaranteed, so my guess would be “Yes”.
Thinks like engaging with ELK, thinking through Eliezer’s List O’ Doom, thinking through some of the basics of biorisk seem all quite valuable to me, and my takes on those issues are very deeply entangled with a lot of community-building decisions I make, so I expect similar effects for you.
Thanks! I spend a fair amount of time reading technical papers, including the things you mentioned, mostly because I spend a lot of time on airplanes and this is a vaguely productive thing I can do on an airplane, but honestly this just mostly results in me being better able to make TikToks about obscure theorems.
Maybe my confusion is: when you say “participate in object level discussions” you mean less “be able to find the flaw in the proof of some theorem” and more “be able to state what’s holding us back from having more/better theorems”? That seems more compelling to me.