Microserfs of Evilbore: I will come to your so-called "Seattle"

[recursivelyenumerable]

just as a stop on the way to the much cooler Victoria, BC, but maybe we could engage in some 4P homojapuality like FFCC DS or something?

[Mr. Gundam]

just as a stop on the way to the much cooler Victoria, BC, but maybe we could engage in some 4P homojapuality like FFCC DS or something?

You had me until you brought up playing games. And on the DS no less.

We'd go out and DRINK, son.

[Joe Molotov]

Seattle-bore just wants to get your liquored up so that they can violate your sphincter, don't do it!

[Reb]

Seattle-bore wants to get your liquored up so that they can violate your sphincter, do it!

[demi]

just as a stop on the way to the much cooler Victoria, BC, but maybe we could engage in some 4P homojapuality like FFCC DS or something?

[tiesto]

Victoria's loaded with hot women... 

[Tauntaun]

Victoria's loaded with hot women... 

recursive: hey babe, you know what this is in my hand?

Victorian babe: um, a cell phone?

recursive: NO!  It's a limited edition pokemon DS, FROM JAPAN!  I'm.....multi cultural.

Victorian babe: oooookaaayy, c ya.

recursive: Hey wait, I'm not trying to pick you up, I just want to know one thing. 

Victorian babe: uh, what?

recursive: which way to the nearest high school?

[Van Cruncheon]

more like

recursive: hey are you guys the uh, seattle "shat pack"

recursive: OH GOD MY MOUTH AND ANUS OH GOD HURGALURGAHUAGHUAGHAUGAHG

[Tauntaun]

more like

recursive: hey are you guys the uh, seattle "shat pack"

recursive: OH GOD MY MOUTH AND ANUS OH GOD HURGALURGAHUAGHUAGHAUGAHG

 

Prole

[bagofeyes]

take some anus pictures

[Tauntaun]

Recursive post Seattle trip:

"I used to think rape was funny, hooo hoooo rape is soooooo funny.....then I got raped."

[recursivelyenumerable]

FINE BE THAT WAY

I'll have more fun at the Workshop on Mechanizing Metatheory  ANYWAY

[Madrun Badrun]

Mechanizing Metatheory.

Is that a theory about a theory about Mechs? 

[recursivelyenumerable]

http://www.cis.upenn.edu/%7Esweirich/wmm/

[Tauntaun]

Mechanizing Metatheory.

Is that a theory about a theory about Mechs? 

That would be cool.  Distant would totally suck your cock.

[recursivelyenumerable]

Session I: 9:00-10:30
Formalizing an Extensional Semantics for Units of Measure
Andrew Kennedy
Microsoft Research Cambridge

Proving correctness of a dynamic atomicity analysis in Coq
Caitlin Sadowski, Jaeheon Yi, Kenneth Knowles, and Cormac Flanagan
University of California at Santa Cruz

Mechanizing the Metatheory of a Language With Linear Resources and Context Effects
Daniel K. Lee [1], Derek Dreyer [2], and Andreas Rossberg [2]
[1] Carnegie Mellon University
[2] Max Planck Institute for Software Systems

12:00-14:00  Lunch

Session III: 14:00-15:00
Shallow embedding of a logic in Coq
Jerome Vouillon
Universite Paris Diderot - Paris 7, CNRS

he'd shallowly embed your Coq hur hur

[Mr. Gundam]

Mechanizing Metatheory.

Is that a theory about a theory about Mechs? 

That would be cool.  Distant would totally suck your cock.

 

Wha.. what?

[Madrun Badrun]

Mechanizing Metatheory.

Is that a theory about a theory about Mechs? 

That would be cool.  Distant would totally suck your cock.

I hear Dis is more of a in the butt kind of boy.

[radioheadrule83]

'so called "seattle"' sounds like something General Zod would say.

I don't think you guys should rape him. Or maybe you should rape him harder. I don't know, I'm confused.

[Tauntaun]

I hear Dis is more of a in the butt kind of boy.

Yeah, well he would def let him sniff his back door plug and maybe even let him try it. 

Wha.. what?

 

[Madrun Badrun]

I hear Dis is more of a in the butt kind of boy.

Yeah, well he would def let him sniff his back door plug and maybe even let him try it. 

Is he doing this to himself? 

[Tauntaun]

I hear Dis is more of a in the butt kind of boy.

Yeah, well he would def let him sniff his back door plug and maybe even let him try it. 

Is he doing this to himself? 

he = distant

him = recursive

[jiji]

Evilbore: Wilde Coq

[Tauntaun]

Evilbore: Wilde Coq