chris martensok 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
the thing is i *like* scotch, but i don’t like tourist traps, and unfortunately i’m in a very touristy area. so i had to convince myself that it was really ok to go to some random pub on the royal mile and order a possibly-overpriced scotch. it’s really delicious, no one is currently being rowdy nearby, and I have no regrets
i’m probably misusing the word pub. tavern? restaurant? it has full meal food as well. does that disqualify it from pub status?
i had an exciting moment today spotting a ground nesting bird on a hilltop in holyrood park, which I assumed was a skylark based on the sign (pictured), but reading their Wikipedia page (we don’t have them in the US) i think this bird was larger. all i have is two bad photos with unfortunate lighting (I was trying to keep my distance per signage) but would be curious if anyone can identify!
encountered a familiar Kris in the airport and we had a conversation on subjects including our colleagues Chris and Kris.
thanks for the hospitality and good times, scotland! 🏴
Conor Mc Bride@chrisamaphone Haste ye back!
Oliver Kennedy@chrisamaphone My SO enjoys the ID a bird from a bad pic game... I'll run it by her.
Side note. I didn't realize you were still in Edinburgh or I would have reached out! I was in Holyrood just this morning.
@chrisamaphone At first glance, that beak in the second picture looks more corvidy, or possibly raptory. At least, assuming I'm interpreting the pic correctly. How big was it?
@okennedy yeah I had the same thought! I am not very sure about the size, but like, closer to duck than songbird?
@chrisamaphone Beak looks a bit off, but Ring Necked Pheasant?
@okennedy pheasant does seem plausible - there was some movement that made me think it had a long tail
@okennedy oh no way! sorry to miss you; enjoy your time here!
gaytabase@chrisamaphone no. in fact most pubs serve food these days because it's more profitable than drinks.
@dysfun @chrisamaphone It's definitely still a pub if you order food at the bar. Once table service enters the picture, the lines get blurrier.
Philippa Cowderoy@chrisamaphone Absolutely not, "pub grub" is totally a thing
@flippac @chrisamaphone often a brown thing
@flippac @chrisamaphone does we want plates have a fedi account?
Alec Story@chrisamaphone back when I worked on building an ontology of business types for the megacorp, we considered pubs to usually require serving food.
But also the whole process was cursed and we would have known that if we'd hired a philosopher instead of software engineers.
John Regehr@chrisamaphone I super recommend this place https://maps.app.goo.gl/R6ytrFGCDvPUE5Sg7?g_st=com.google.maps.preview.copy
@chrisamaphone you need to be a member for the actual SMWS but the bar downstairs has the same stuff with no membership requirement. their buyers are really superb
@regehr okay well that’s a block from my hotel so noted 🫡
@chrisamaphone how was Meh?
@regehr I didn’t go
@chrisamaphone Sorry I had to hide for the back end of TYPES. You don't have to drink all that much whisky for the difference between Edinburgh and Glasgow prices to pay for the train.
Shae Erisson@chrisamaphone Laphroaig?
@shapr no it’s Bowmore, another Islay distillery
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!
@chrisamaphone ooohh i really llke the angles in #2. and #1 and #4 really look like paintings in a really cool way
David Weir 
@chrisamaphone After staring at this for longer than I care to admit, I'm frustrated that I can't place it. But then I haven't lived in Edinburgh for nigh-on two decades.
@davidjamesweir St Andrew Square. same place the outdoor cinema was :)
v@chrisamaphone oh! oh, good for him! (he taught me at undergrad)
ari 
@chrisamaphone should’ve covered the arrow instead
@ari good point