The Secret of Unhappiness

I'm going to be a giant dork about this post, because if I don't, I will write pages of text (already happened).

Choice 1:
A.  Move East to be happier by a certain margin
B.  Stay in Seattle to not burn bridges in the tech industry by abandoning a new job in less than 6 months (ouch)

Choice 2:
I forget what choice 2 was

Consequence:
I will be in Seattle when the world ends on Nov 8, 2013.

What to do with the time given to us, or, Operation Gandalf:
A.  Continue obsessing over 3-SAT, writing, or random side project business ideas that for three years have been no more than a fruitless self-employment fantasy
B.  Quit by current job to do risky writing/startup stuff:  already precluded by choice 1
C.  Go all in at work, and stop wasting time on side projects.

One thing I've learned:  I suck at identifying good projects to work on.  I hated the scroll wheel mouse, and I thought facebook was dumb, and I wasn't even impressed with Amazon even after they became a big success.  No one impresses me.  So I can't do the ideas party by myself.

So the next thing to think about is meeting people.  Again.  I have this theory about the number of hours I spend with friends during the week, and how lonely I feel, and I think I could empirically derive a loneliness formula (accouding for things like weekend days having a higher weight) and then determine the minimum amount of time I need to spend with friends in order to not be lonely at all, ever.  I'm not going to do that though.  Just going to go back to meeting people.  That is really the only reason I'm writing this--to remember that I'm supposed to be meeting people and not starting and abandoning another hundred side projects.

Again.  Meeting people.  Poker, skiing, settlers, go kart racing, salsa, and maybe another thing.  I'm probably going to forget all of this anyway.  Oh!  And playing more games online with friends, maybe.  Ooooh and we could start up the lan parties again, and that other idea that I can't mention here but we'll refer to as....mmmmmmmmmmmmm....Operation Clove Hitch.  Fuck that took a lot of concentration.  Was there anything else?  Thats probably en--oh yeah, and finally, actually going to europe.  Maybe co-writing a novel with another person--i will reeeeeeeally want to get into the romance novel market.  I don't care that most girls think I'm an emotionless robot, or that I have the social skills of a computer scientist.  I saw what happened with 50 shades and I want in on that cash cow.  Shit we're going back to projects again.  If I write it with another person--ooh, like what if I find a girl who can describe all of the relationship shit, but doesn't want to deal with the prose, and we'll keep it interesting by adding what will appear to be kinky sex scenes but upon a re-read will turn out to be just bland romance scenes, and maybe I'll put in a road ninja character just for funsies.  Did I write that I wanted to go to europe?  I'm not proofreading this post.  I'm really almost sorry about that.

Ok.  Again, for my memory:  people.  That is the new project.

I've always wanted to make a spreadsheet with all of the girls I've ever fallen in love with or hooked up with (in an ideal world those sets would be equivalent) and then figure out how I met them, and then rank social activities based on past successes.  Unfortunately, as we all just learned recently, any girl I ever date in the future (or in the past) might read this post, so....I'm totally not going to do that.


[Edit]
and motorcycling on the Isle of Man


[Edit]
Ok maybe hold off on the no projects thing....what if we made a game that was Dota2 + C&C Renegade?  It would be just like renegade except that bot soldiers are constantly running out and fighting...I think that would be awesome.


[Edit]
Forget all that.  Here is a simpler SAT thing that might be easier to compute:  instead of going after all possible unsat instances, start with a SAT instance, and check all UNSAT instances that can be made out of it.  Use a DFS that branches on the clause being in it or not, in order to avoid duplicates.  Well, some duplicates.