THE BORE
General => The Superdeep Borehole => Topic started by: recursivelyenumerable on August 19, 2008, 01:08:47 AM
-
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?
-
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.
-
Seattle-bore just wants to get your liquored up so that they can violate your sphincter, don't do it!
-
Seattle-bore wants to get your liquored up so that they can violate your sphincter, do it!
-
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?
:rofl
-
Victoria's loaded with hot women... :-*
-
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?
-
more like
recursive: hey are you guys the uh, seattle "shat pack"
recursive: OH GOD MY MOUTH AND ANUS OH GOD HURGALURGAHUAGHUAGHAUGAHG
-
more like
recursive: hey are you guys the uh, seattle "shat pack"
recursive: OH GOD MY MOUTH AND ANUS OH GOD HURGALURGAHUAGHUAGHAUGAHG
:lol
:bow Prole :bow2
-
take some anus pictures
-
Recursive post Seattle trip:
"I used to think rape was funny, hooo hoooo rape is soooooo funny.....then I got raped."
-
FINE BE THAT WAY
I'll have more fun at the Workshop on Mechanizing Metatheory ANYWAY
-
Mechanizing Metatheory.
Is that a theory about a theory about Mechs?
-
http://www.cis.upenn.edu/%7Esweirich/wmm/
-
Mechanizing Metatheory.
Is that a theory about a theory about Mechs?
That would be cool. Distant would totally suck your cock.
-
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
-
Mechanizing Metatheory.
Is that a theory about a theory about Mechs?
That would be cool. Distant would totally suck your cock.
:dizzy
Wha.. what?
-
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.
-
'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.
-
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.
:dizzy
Wha.. what?
:-*
-
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?
-
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
-
Evilbore: Wilde Coq
-
Evilbore: Wilde Coq
:rock