I left Google a month ago, and right now don't work. Writing this post in case anyone has interesting ideas what I could do. This isn't an "urgently need help" kind of thing - I have a little bit of savings, right now planning to relax some more weeks and then go into some solo software work. But I thought I'd write this here anyway, because who knows what'll come up.
Some things about me. My degree was in math. My software skills are okayish: I left Google at L5 ("senior"), and also made a game that went semi-viral. I've also contributed a lot on LW, the most prominent examples being my formalizations of decision theory ideas (Löbian cooperation, modal fixpoints etc) and later the AI Alignment Prize that we ran with Paul and Zvi. Most of that was before the current AI wave; neural networks don't really "click" with my mind, so I haven't done much work on them.
And yeah, this is an invitation to throw at me not necessarily money-paying work, but also stuff you'd like me to look at, criticize, help with your own projects and so on. I find myself with a bit more free time now, so basically drop me a PM if you have something interesting to talk about :-)
I'd love your feedback on my thoughts on decision theory.
If you're trying to get a sense of my approach in order to determine whether it's interesting enough to be worth your time, I'd suggest starting with this article (3 minute read).
I'm also considering applying for funding to create a conceptual alignment course.
I don't want to universally claim that we should always work with consistent universes, but I think we should have a strong bias toward reformulating problems to be consistent when we can. This involves imagining that the past is different in the counterfactual.