POPL 2012/エアPOPL/関連発言ごった煮
-
xhl_kogitsune
- 3494
- 0
- 0
- 0
-
- いいね！0
Jamie is no longer here
@InfinitNutshell
It's after midnight and I haven't started packing for #POPL. Well I guess my train to Philly isn't until tomorrow afternoon...
2012-01-23 14:33:36
Guy Wiener
@guywiener
אם אתם תוהים למה אני אתכם בפיד יום למרות שאני בפילדלפיה, זה בגלל שלמרות ניסיונותי לנצח את המערכת, יש לי ג'ט-לג. בוקר טוב, סוג של.
2012-01-23 20:55:18
Guy Wiener
@guywiener
רק באמריקה קוראים לסטארבאקס סוג של קפה. זה לא ערביקה, זה לא רובוסטה, זה לא ג'אווה, זה לא בלו מאונטיין, זה סטארבקס. דרוש: כנס עם קפה טוב.
2012-01-23 22:42:14
Danielle Gaither
@daniellegaither
LUV to fly @SouthwestAir whenever I can! (@ Dallas Love Field (DAL) w/ 30 others) http://t.co/8inoTCPL
2012-01-24 00:51:12
Danielle Gaither
@daniellegaither
Pretty sure I just saw @TreWilcox at Love Field. Equally sure he was doing the shades/cell thing to avoid detection. ;) #topchef
2012-01-24 00:57:58
Danielle Gaither
@daniellegaither
Last minute plane change. Hope my checked bag meets me in Philly! (@ St Louis Airport (STL)) http://t.co/gnVRln3x
2012-01-24 03:20:10
Guy Wiener
@guywiener
Saw Leslie Lamport, inventor of LaTeX, at the conference. Wondering if I should thank him, shoot him, or both.
2012-01-24 03:41:18
Guy Wiener
@guywiener
The session chair's new and shiny Windows 7 laptop got stuck with the usb drivers or something, so we had to use my Ubuntu laptop #win
2012-01-24 03:51:49
Guy Wiener
@guywiener
Saw Mathias Felleisen, inventor of Racket (prev. DrScheme), at the conference. Same dilemma as with Lamport.
2012-01-24 03:54:20
Guy Wiener
@guywiener
Current talk at the conf is about something called "Clingcon". I keep hearing "Klingon". Pun intended, I think. #GeeksOfAFeather
2012-01-24 04:01:49
Danielle Gaither
@daniellegaither
I just unlocked the "JetSetter" badge on @foursquare! Bon Voyage! http://t.co/HhWWJcDu
2012-01-24 05:31:47
Danielle Gaither
@daniellegaither
I'm at Chicago Midway International Airport (MDW) (5600 S. Cicero Ave., Chicago) w/ 43 others http://t.co/KVJaS65a
2012-01-24 05:31:47
cohost.org/acfoltzer
@acfoltzer
As a fan of seeing the tops of buildings, I am outraged http://t.co/PesAPBX1
2012-01-24 06:24:11
拡大
Tim Disney - @disnet@mastodon.social
@disnet
Flight delayed twice. I now hate DEN.
2012-01-24 07:07:56
Danielle Gaither
@daniellegaither
Finally landed! (@ Philadelphia International Airport (PHL) w/ 31 others) http://t.co/IVIJ626y
2012-01-24 12:55:47
Danielle Gaither
@daniellegaither
Finally made it to my hotel! (@ Hyatt Regency Philadelphia) http://t.co/8ZRPYoat
2012-01-24 14:17:26
Kyle Murray
@krilnon
Stuck in the IAD terminal where meal vouchers only buy Starbucks.
2012-01-24 20:43:42
Kyle Murray
@krilnon
...here's what I ended up with (croissant in bag): http://t.co/0wFHCSy2
2012-01-24 21:06:07
拡大
Danielle Gaither
@daniellegaither
Continental breakfast baby! (@ Sheraton Society Hill) http://t.co/LkHhpS5M
2012-01-24 21:39:59
Guy Wiener
@guywiener
End of PADL day 1, summary: 90% of the presentations were written in LaTeX/Beamer, with a blue theme and using blue and green blocks.
2012-01-24 22:23:25
Guy Wiener
@guywiener
I config'ed the laptop to squeeze ~9 hrs of battery life, and I still plug it in after 15 min. Gadget version of OCD?
2012-01-24 22:53:22
tsushima
@crossquare
Benjamin Pierce (about types) & Simon PJ (about writing paper)の講演を聴いた :) 幸せなう！
2012-01-25 00:21:07