Just Found Out » Congrats, Thermo

May 14, 2009

Congrats, Thermo

{he chose the right guy to copy from on his final}

Stop coding.

olmec: *IMAGE*, *NM*, Celebrities, LEET KREW, News, Serious, Stats, Where the Twist Flops — + tapped to you by irons @ 10:07 pm

12 Syringe Guys »

Syringe Guy by thermoplyae — May 15, 2009 @ 3:38 am

1) you add a cstack(map[I, K x Env]) and a currentCF(I), delete the existing relevant rules, and add the reduction rules

K(function f s> cstack(gamma) –> K(.> cstack(gamma[f < -(s, .)]) -> K(exit> -> K(.),

K(exit, rest) –> K(.),

and K(resume f_1 -> rest) currentCF(f_2) env(rho) cstack(Delta) –> k(first(Delta’[f_1]) currentCF(f_1) env(second(Delta’[f_1])) cstack(Delta’) where Delta’ = Delta[f_2 < - (rest, rho)]

2) (you left out a page so i’m not going to answer, but you really just extend the let rec rule given in the obvious way)

3) (you left out a page of this too! you can handle the word ’semantics’ but not the semantics themselfs, i see:) use this rule: k(static var x> statics(gamma) env(rho) curClass(c) –> k(.> statics(gamma) env(rho[x < - gamma[(c, x)]]) when gamma[(c, x)] exists, otherwise allocate a new one: k(static var x> statics(gamma) env(rho) curClass(c) nextLoc(l) –> k(.> statics(gamma[(c, x) <- l]) env(rho[x <- l]) curClass(c) nextLoc(l + 1). (plus some other minor modifications to make this make sense)

i was drunk, so maybe this isn’t 100% accurate :(, but thanks! from here on out i am an Adult, capital A.

@patrick: if you are clique — and, as suggested by Woodford, you are — then you’re an alter ego for ray, and we’ve known since at least april. it was good (no, “better,” but there’s no appropriate word) while it lasted,

thermoplyae Reply:
May 15th, 2009 at 4:14 am
it’s honestly a little fun to sober and watch mistakes emerge from this response. at least, i was sober when i took the final, thank The LORD. :)

patrick Reply:
May 15th, 2009 at 10:52 am
I’ve no qualms about asserting my unreality, but I fear that the mental-continua of ray and myself remain, as a scholar-monk put it recently, ‘incorrigibly discrete’[1].

re: woodford–my lasciviousness precludes the cultivation of clairvoyance, so I needs must resort to more conventional methods in the quest for information-cubed.

[1] I can’t confirm that the venerable was issuing a direct comment on the ‘patrick==pasco’ question, but it is nonetheless apt.

it was good

It was good for me, too.

thermoplyae Reply:
May 15th, 2009 at 1:54 pm
I disagree, in the present context anyway, that “Surely you are ray.” can be soundly defeated by “What is ray, after all?”

I (we, I suppose, since Irons looked into it too) went to some lengths to find a Woodford reference outside of IRC, and it appears absolutely nowhere else (save for a brief mention on the metaserver, but, honestly, who plays Marathon?). It is also very ray to throw it in our faces while maintaining plausible deniability (via April Fools and a private correspondence respectively); this is in addition coupled with a variety of shared personality quirks and similarities along those lines. The only irreconcilable piece for me is that ESB has documentation of you playing Eternal — something the ray I know would never have done (again, who plays Marathon?). I mean, if you aren’t ray (and you are), then you really should take him aside and have a heart-to-heart; you two are soulmates.

I stand staunchly unconvinced.

(Too many parentheticals.)

patrick Reply:
May 15th, 2009 at 11:10 pm
re: zeitgeist–Ray would have correctly spelt Naggy’s name the first time.

I went to some lengths to find a Woodford reference outside of IRC

‘Oddly, this is familiar.’ Of course, Thorn-hater, thou art seen is more flattering than nfpatrick[1][2].

I confess that in the beginning I was leery of being the sixth man[3] in Kafka’s ‘fellowship‘. I suspect my involvement in the game that was the community would not have amounted to much more than a .gif thumbing its nose at Mr. Marshall had not curiosity got the better of me that evening.

you two are soulmates

‘We met once on the meatserver’[4]

[1] but this usage originated with ray, which muddies the waters.

[2] (no disrespect meant to neo-freudian anthologies)

[3] polyvalence unintended.

[4] but then, I’ve never had anything to do with netgames. As you say, who plays mararthon?

irons Reply:
May 15th, 2009 at 7:38 pm
from here on out i am an Adult, capital A.

I may never be an Adult, but I’ll strive to be an Alcoholic.
Syringe Guy by treellama — May 15, 2009 @ 12:56 pm

SILF: thermo’s sister makes another appearance

If patrick is ray, then ray used/uses Ubuntu. That knowledge will lessen the sting, if it’s true.

thermoplyae Reply:
May 15th, 2009 at 1:55 pm
Simple Imperative… uh… i don’t know, actually. your interpretation is probably right.

patrick Reply:
May 15th, 2009 at 3:32 pm
implied use of ubuntu

HAHA

treellama Reply:
May 15th, 2009 at 3:57 pm
Fair enough–it doesn’t matter. The notion of ray using any Linux is hilarious. The notion of ray using GNU/FreeBSD is still amusing.

patrick Reply:
May 16th, 2009 at 12:11 pm
This may cost me my cushy post sorting mail here at the Laboratories, but the recollection of it nagged at me whilst I was sipping my breakfast tea.

It might be worth noting that within the list of participants in another thread we come upon a certain “simon” Gao. ‘Tis regrettable that pro-choice politics have lead him down the stallmanist path, drunk on the devil’s buttermilk that flows from the wanton teat of larry the cow.

r Reply:
May 16th, 2009 at 5:01 pm
As my sometime alter-ego hints, the notion of GNU/kFreeBSD existing is itself amusing, as though the *kernel* made BSD BSD. I’m ashamed to admit to having been as fevered a Linux cultist as any of them - all too recently, but not recently enough for Ubuntu, I fear. I am now a Roman Catholic.

ATTN: Irons
3 levels is not nearly enough nesting of comments.

RSS feed for Syringe Guys on this post.

Leave a Syringe Guy

You must be logged in to post a comment.