chris martensboston to glasgow travel thread start
why did we decide we would allow people to charge their electronics in airports but only if they’re willing to sit in an uncomfortable stool with no backrest. is it punishment for being too online
they’re trying to scan faces as boarding passes now :|
landed EDI
why am i the only person on this bus to city center. have i made a terrible mistake
(gonna scotrail to glasgow eventually but need some kind of breakfast first)
ok there’s more people now. this bus company is very orange and the bus company employee is VERY excited about orange. the card i paid with was orange
i had a porridge that in retrospect was a peanut butter jelly sandwich in porridge form
now 🚆
is that the closest train emoji for scotrail?
is that the closest train emoji for scotrail?
“this train is for helensburgh central” ok sorry but i’m borrowing it
jet lag 👎🏻
first mission of the morning is to obtain a US to UK travel power adapter because that failed to make it onto my packing list. argos was out of stock and the pound shop had EU but not US. currently running a promising background process (a kind volunteer at the conference registration desk checking for one at their nearby apartment)
also if i look at you but don’t say hello at TYPES it’s not intentional, i am just really bad at recognizing people i don’t see regularly. please say hello!
(going through the words in their talk title) “then, i’m going to define ‘all’,”
German guy complains that a paper is written in German
who called it a bi-Heyting algebra and not biphobic
at what point does one’s occipital lobe reach a lifetime quota of processing information via Beamer slides? i think i may have already exceeded mine
i finally made it to the start of a morning session 🥱
“my modalities will just be box and diamond… the OGs”
wow the sun sets at 10pm here
I forgot about natalie dee’s comics. they’re good
things i forgot as casualties to getting to the conference on time:
- my name tag
- breakfast
- my name tag
- breakfast
omg i just realized the current speaker is NOT fred. that would explain why he was at the hotel and also did not recognize me
(noticing they’re running out of time) “i think i’ll skip the intuition”
i am very sleepy but doing my best to stay awake for the @zanzi show!
the glasgow subway is so cute. it’s bb8 in train form
locals explained “we only have a circle line” and i replied that boston has everything *except* a circle line
ramshorn: ram’s horn? ram shorn?
there’s a queue for the coffee machine at the hotel and my american brain can’t help but go you know what would solve this….
“what’s on the glasgow salad?”
“it’s just chips” lmao eat your heart out pittsburgh
“it’s just chips” lmao eat your heart out pittsburgh
cullen skink > boston clam chowder
surprised no one has commented on “app only” yet
wow they really just made the country's motto "don't fuck with me" https://en.wikipedia.org/wiki/Nemo_me_impune_lacessit
I went to the castle and it was alright. ate cake in the tea room. got stuck in tourist hell for a little longer than is good for the soul. came back down and saw that “cinema in the park” was playing Twisters, which i stayed to watch to the end
i appreciate that what we stateside rubes might call “mixed berries” is here known as “fruit of the forest”. probably not much more botanically accurate but much more evocative of being at a feast in a Redwall novel
tripped and fell into phil wadler’s retirement party
(i’m trying to get better at photo composition! if any of you who know what you’re doing behind a camera have suggestions or constructive critiques i’d be happy to hear it, with the caveat that “the camera i have with me” is probably going to be an outdated one-lens iphone for the foreseeable future)
I understand things like focal points/rule of thirds and perspective lines from my drawing/collage/mixed media experience, and I’ve read enough photo 101 to know about depth of field and looking for tangent lines and shadows and reflections and stuff. i’m a lot less confident about choosing angles, places to stand, and how to crop to balance fore/mid/background elements, stuff like that
shoofle@chrisamaphone i wanna take some kind of photography class or something because i'm often struck by breathtaking landscapes and then if i take a picture it looks incrediibly flat
@shoofle i have a physical copy of a book about digital phone-camera photography i can lend you if you like! one of the best tips i learned for making photos feel less flat is to vary the depths of what’s visible in your shot, ie try to have something in the foreground, midground and background (any of these might be where your focal point lives). it kinda reminds me of blocking in stage performance
@chrisamaphone oooohhh! Yes!
v@chrisamaphone oh! oh, good for him! (he taught me at undergrad)
ari 
@chrisamaphone should’ve covered the arrow instead
@ari good point
ohad@chrisamaphone climbing the Scott Monument is worth the ransom
@chrisamaphone (or at least it was when I did it last ten years ago)
Conor Mc Bride@chrisamaphone merely recognising reality
Philippa Cowderoy@chrisamaphone FWIW, lower case r republicans aren't exactly unheard of here - it's just that stories of what they get up to are rare compared to the rest of our political class, not that they don't pull any shit
@flippac @chrisamaphone I'd advise attention to the Glorious Revolution of 1688, which reset the status of King in the UK to "glamorous host".
@pigworker @chrisamaphone Mostly. Once in a while you find something that parliament did Because They Were Asked. Soft power is still power and all that.
@flippac @chrisamaphone Oh, sure. The 1911 Parliament Act was a major case in point. There have been many cases since then, usually subtle exemptions to the prohibition of cruelty, justified by the persistence of beauty.
David Monniaux@chrisamaphone do they have a NO TYRANTS protest in Glasgow or Edinburgh? I see there is one in London
beka valentine@chrisamaphone i feel like you could find or start a no kings protest in edinburgh
dperkins@chrisamaphone That's rough.
Amélia Liao@chrisamaphone i mean application is pretty much all you can do in a functional language right
Mister Dave@chrisamaphone these lattes are composable
Timothy@chrisamaphone with curry powder, probably
@arthegall well they did apparently mean turmeric or whatever
yomimono, still on earth@chrisamaphone targeted marketing
∴ esoterik ∴@chrisamaphone operational latte. denotational latte. syntactic latte
ieee 754 carrot facts@chrisamaphone look they compose
Jamie Gaskins@chrisamaphone When you take a sip from it, I guess it creates a whole new large iced latte with the next amount of liquid.
soc@chrisamaphone But can you flatMap over the latte container – that's the real question!
@chrisamaphone `unsafePerformSlurp`
John Nesky@chrisamaphone Coffee is a machine for turning mathematicians into theorems.
Kat@chrisamaphone finally, after all those dysfunctional lattes
gaytabase@chrisamaphone what you know as salad is known as 'crappy salad' in the local dialect.
@chrisamaphone yeah, that's an irish thing with a weird name. tasty enough, but not what we think of as a scone
@chrisamaphone potato farl!
@chrisamaphone your american brain or your problem solving brain?
@dysfun i mean the answer is american drip coffee so both
@chrisamaphone i must admit i'm a drip coffee person. we prefer a longer, weaker drink in chateau dysfun anyway and we love the convenience.
rntz
atsuzaki@rntz @dysfun @chrisamaphone i struggle to see how tea is more convenient until i realize that teabags exist
(but in that case coffee teabags/high end instant coffee exist too)
@atsuzaki @rntz @chrisamaphone instant tea exists in fact. in the uk we have this stuff called QT which is instant milky tea powder. it's not very good.
but these instant products are much more convenient than teabags, where you have to wait for the steep
@dysfun @rntz @chrisamaphone oh they obv do i actually enjoy the lipton lemon tea nonsense from time to time. but this house only contain loose leaf tea
@rntz @chrisamaphone oh but it's not, not if you drink it in the quantities we do. we put on a pot and then drink it for a while. no waiting for the tea to steep, then having to come back to pour the milk etc. (we're british, of course there is milk).
Oliver Kennedy
Maddie (Nicole) T. 🏳️⚧️ 🌈@chrisamaphone @dysfun woooow I misinterpreted that and thought the answer was a market (“if we charged for coffee this line wouldn’t be so long!”)