I would finally finish my goddamn compiler for my goddamn systems programming language.

I'm honestly considering just tearing out my type system and type-inference so I can implement something in there that has actually been verified as formally valid. Waiting months at a time just to get my stupid paper reviewed again is boring and useless.

If I had money, I would also hire some professional web designers to help me make my web-app for using Bayesian reasoning to replace tech recruiters. Launching the thing as a lifestyle business is really appealing, but I can't web-design for crap.