March 4th 2019

Untitled

March 2nd 2019

Work In Progress, Part II

On a more positive note, I sent in an application for Harvard two days ago (just a few hours before the deadline). Unfortunately, by the time I submit the application, I didn’t come to the realization that I needed several other documents from my school sent to the college. Damn. Harvard’s a no-go for me. But there’s always still Stanford, and I’m pretty dedicated to getting into that, despite the fact that it will probably murder my bank account in cold blood.

Anyway, aside from all this nonsense, my computer is finally complete. I built it yesterday.

My computer, complete with USB Penguin RGB light because I live on the dark side where RGB lights inside my computer don’t exist.

This baby’s running a 3770k i7, and I clocked it up to 4.4 GHz. My graphics card came in, it’s a Sapphire RX 580 with 8GB of VRAM. I can finally play video games from a decade ago at pretty much maximum speed…

I had a bunch of issues getting the computer to work initially, and I think I enabled some bad setting in the BIOS so for a while my computer was refusing to POST and I had no idea why. Still a little bit skeptical of my computer being 100% fully functional, but we’ll see. I get pretty damn good temperatures. Idling with a Chrome window open and a Discord window, maybe Spotify runs between 30C and 40C. When running Prime95, the max temperature I saw it go up to was 90C, which is risky but that’s Prime95 being a big meanie. Realistically, I never see it go much past 75C-80C when doing hefty things. And I never stress out my computer, so I think my current overclock is working great.

In other news, we’re supposed to get snow tomorrow. 3-6 inches. I’m calling out of work because I’m pissed off at what happened today, and I’m totally using the snow as an excuse.

March 2nd 2019

Ex.Ey.(p(x, y) & ~p(y, x) & ~p(f(x), y))

In no Herbrand Universe
        was there ever sorrow
        like this
I am reminded of a blocks world,
under a domain of
        infinite discourse
where inductive relationships, 
        like tears
        falter.

SKOLEMIZE ME WITH FIRE, there will be no
Conflict Resolution. 
        Reify my soul.
                This cage defines the Standard
Axiom Schemata. What can you do? See slide
154, lecture 17 -- you will find

                nothing.

Subsume all rational factors. 
        Extract all strategies. 
                Order your resolutions. 
        This model will not be eliminated.
                        when all the
        paramodulation
                is said and done
you lose your set of support

                                FORMALIZE THAT.

what heart can find solace in
        embracing
                the
empty
        clause.