Hacker News new | ask | show | jobs
by DoofusOfDeath 2454 days ago
It sounds like you're burned out, and not 100% sold on the idea of doing a PhD.

I suggest taking a break from school for a year or two, try moving to a country you like better, and reassessing what you want.

If you decide you really are interested in doing a PhD in theorem-proving, and you have talent for doing graduate research in that area, getting back onto that track should be possible.