Congratulations! Do you mind an off-topic question? I see you work at Google. What’s Google’s attitude toward such extracurricular activities? Obviously, I am not asking about specific negotiations, but about written and unwritten company rules. For example, can you dedicate Google company time to SingInst work? (I am thinking of the famous Google 20% rule here.)
Congratulations! This is a key step forward. And also, congrats to the SIAI for getting both you and Vladimir Nesov as official researchers.
Thanks!
In case anyone’s interested: I’m not a paid researcher and don’t want to become one, as long as I can support myself by programming.
Congratulations! Do you mind an off-topic question? I see you work at Google. What’s Google’s attitude toward such extracurricular activities? Obviously, I am not asking about specific negotiations, but about written and unwritten company rules. For example, can you dedicate Google company time to SingInst work? (I am thinking of the famous Google 20% rule here.)
The answer is refreshingly boring: I can do this stuff, but not on company time. 20% time is supposed to be used for Google projects.
Sorry, I just had this image:
cousin_it: I want to use my 20% time to prevent the extermination of humanity.
Google overlord: Okay, and this would help Google … how, exactly?
(I know, I know, oversimplification.)
Ads^^^3
Heh.