[uptownfunk]

I notice you talk about what you have been doing (programming, proof writing) and what you haven't been doing (watching tv, reading), but not at all about what you'd like to be doing.

Find something you'd like to do, and the only way to do that is to explore other things than what you are currently doing (since you are obviously not finding real satisfaction in it).

Might I suggest volunteering your time or a charitable activity? That can be a very fulfilling activity for some.