I’m open for projects (sort of)

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 :-)