chris martensJun 8
boston to glasgow travel thread start
Show threadchris martensJun 8
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
Show threadchris martensJun 8
they’re trying to scan faces as boarding passes now :|
Show threadchris martensJun 8
landed EDI
Show threadchris martensJun 8
why am i the only person on this bus to city center. have i made a terrible mistake
Show threadchris martensJun 8
(gonna scotrail to glasgow eventually but need some kind of breakfast first)
Show threadchris martensJun 8
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
Show threadchris martensJun 8
i had a porridge that in retrospect was a peanut butter jelly sandwich in porridge form
Show threadchris martensJun 8
now 🚆
is that the closest train emoji for scotrail?
Show threadchris martensJun 8
“this train is for helensburgh central” ok sorry but i’m borrowing it
Show threadchris martensJun 8
observations from the bus and train
Show threadchris martensJun 9
jet lag 👎🏻
Show threadchris martensJun 9
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)
Show threadchris martensJun 9
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!
Show threadchris martensJun 9
(going through the words in their talk title) “then, i’m going to define ‘all’,”
Show threadchris martensJun 10
German guy complains that a paper is written in German
Show threadchris martensJun 10
who called it a bi-Heyting algebra and not biphobic
Show threadchris martensJun 10
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
Show threadchris martensJun 11
i finally made it to the start of a morning session 🥱
Show threadchris martensJun 11
“my modalities will just be box and diamond… the OGs”
Show threadchris martensJun 11
wow the sun sets at 10pm here
Show threadchris martensJun 11
I forgot about natalie dee’s comics. they’re good
Show threadchris martensJun 11
things i forgot as casualties to getting to the conference on time:
- my name tag
- breakfast
Show threadchris martensJun 11
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
Show threadchris martensJun 12
(noticing they’re running out of time) “i think i’ll skip the intuition”
Show threadchris martensJun 12
i am very sleepy but doing my best to stay awake for the @zanzi show!
Show threadchris martensJun 12
the glasgow subway is so cute. it’s bb8 in train form
Show threadchris martensJun 12
locals explained “we only have a circle line” and i replied that boston has everything *except* a circle line
Show threadchris martensJun 13
Show threadchris martensJun 13
Show threadchris martensJun 13
we love a rainy night street photo
Show threadchris martensJun 13
ramshorn: ram’s horn? ram shorn?
Show threadchris martensJun 13
borb mural
Show threadchris martensJun 13
feral flora
Show threadchris martensJun 13
more glasgow weed patches
Show threadchris martens
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….
Jun 14 at 8:58amWeb
Show threadchris martensJun 14
I THOUGHT I knew what a scone was but this was labeled “potato scone”
Show threadchris martensJun 14
“what’s on the glasgow salad?”
“it’s just chips” lmao eat your heart out pittsburgh
Show threadchris martensJun 14
cullen skink > boston clam chowder
Show threadchris martensJun 14
sorry what
Show threadchris martensJun 14
surprised no one has commented on “app only” yet
Show threadchris martensJun 14
anyway i’m in edinburgh now.
Show threadchris martensJun 14
conversation with my mother
Show threadchris martensJun 15
wow they really just made the country's motto "don't fuck with me" https://en.wikipedia.org/wiki/Nemo_me_impune_lacessit
Nemo me impune lacessit - Wikipedia

Show threadchris martensJun 15
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
Show threadchris martensJun 17
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
Show threadchris martensJun 17
love to see it
Show threadchris martensJun 18
tripped and fell into phil wadler’s retirement party
Show threadchris martensJun 19
ok
Show threadchris martensJun 19
Show threadchris martensJun 19
golden hour last couple of days
Show threadchris martensJun 19
(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)
Show threadchris martensJun 19
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
Show threadchris martensJun 19
last day here, finally drinking a scotch (bowmore 15)
Show threadchris martensJun 19
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
Show threadchris martensJun 19
i’m probably misusing the word pub. tavern? restaurant? it has full meal food as well. does that disqualify it from pub status?
Show threadJohn RegehrJun 19
@chrisamaphone I super recommend this place https://maps.app.goo.gl/R6ytrFGCDvPUE5Sg7?g_st=com.google.maps.preview.copy
Bevor Sie zu Google Maps weitergehen

Show threadConor Mc BrideJun 19
@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.
Show threadShae ErissonJun 19
@chrisamaphone Laphroaig?
Show threadshoofleJun 19
@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
Show threadchris martensJun 19
@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
Show threadshoofleJun 19
@chrisamaphone oooohhh! Yes!
Show threadshoofleJun 19
@chrisamaphone ooohh i really llke the angles in #2. and #1 and #4 really look like paintings in a really cool way
Show threadHeikkolaatuinen tulokasJun 19
@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.
Show threadchris martensJun 19
@davidjamesweir St Andrew Square. same place the outdoor cinema was :)
Show threadvJun 18
@chrisamaphone oh! oh, good for him! (he taught me at undergrad)
Show threadari Jun 17
@chrisamaphone should’ve covered the arrow instead
Show threadchris martensJun 17
@ari good point
Show threadTimothyJun 17
@chrisamaphone thinking about frutti di mare and now wondering [butterfly guy meme, but looking at “fruits”] is this a monad
Show threadohadJun 15
@chrisamaphone climbing the Scott Monument is worth the ransom
Show threadohadJun 15
@chrisamaphone (or at least it was when I did it last ten years ago)
Show threadbhaktiJun 17
@chrisamaphone that pigeon is preparing for the oncoming hurricanes
Show threadConor Mc BrideJun 15
@chrisamaphone merely recognising reality
Show threadCounting Is HardJun 15
@chrisamaphone I mean, it fits with the pattern of making your national flower a weed and the national animal a unicorn
Show threadchris martensJun 15
@counting_is_hard that is true and i have respect for all of these choices
Show threadPhilippa CowderoyJun 14
@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
Show threadConor Mc BrideJun 14
@flippac @chrisamaphone I'd advise attention to the Glorious Revolution of 1688, which reset the status of King in the UK to "glamorous host".
Show threadPhilippa CowderoyJun 14
@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.
Show threadConor Mc BrideJun 14
@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.
Show threadbeka valentineJun 14
@chrisamaphone i feel like you could find or start a no kings protest in edinburgh
Show threadAndre VidelaJun 15
@chrisamaphone I think it's because "everyon' fuckin knowse hes a wanker" (said with the appropriate accent)
Show threadAndre VidelaJun 15
@chrisamaphone
I think this is what I remember from the last time asking at least
Show threadsoaprootJun 16
@chrisamaphone Well the Brits did arrange for their king to have no power so I will admit that's another approach to dealing with the problem that people were complaining about yesterday.
Show threadAmélia LiaoJun 14
@chrisamaphone i mean application is pretty much all you can do in a functional language right
Show threadMister DaveJun 14
@chrisamaphone these lattes are composable
Show threadTimothyJun 14
@chrisamaphone with curry powder, probably
Show threadchris martensJun 14
@arthegall well they did apparently mean turmeric or whatever
Show threadyomimono, still on earthJun 14
@chrisamaphone targeted marketing
Show thread∴ esoterik ∴Jun 14
@chrisamaphone operational latte. denotational latte. syntactic latte
Show threadChris Chen: The MusicalJun 14
@chrisamaphone look they compose
Show threadJamie GaskinsJun 14
@chrisamaphone When you take a sip from it, I guess it creates a whole new large iced latte with the next amount of liquid.
Show threadsocJun 14
@chrisamaphone But can you flatMap over the latte container – that's the real question!
Show threadsocJun 14
@chrisamaphone `unsafePerformSlurp`
Show threadJohn NeskyJun 14
@chrisamaphone Coffee is a machine for turning mathematicians into theorems.
Show threadKatJun 14
@chrisamaphone finally, after all those dysfunctional lattes
Show threadvJun 14
@chrisamaphone potato farl!
×
Show threadchris martensJun 8
i had a porridge that in retrospect was a peanut butter jelly sandwich in porridge form
Show threadchris martensJun 8
now 🚆
is that the closest train emoji for scotrail?
Show threadchris martensJun 8
“this train is for helensburgh central” ok sorry but i’m borrowing it
Show threadchris martensJun 8
observations from the bus and train
Show threadchris martensJun 9
jet lag 👎🏻
Show threadchris martensJun 9
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)
Show threadchris martensJun 9
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!
Show threadchris martensJun 9
(going through the words in their talk title) “then, i’m going to define ‘all’,”
Show threadchris martensJun 10
German guy complains that a paper is written in German
Show threadchris martensJun 10
who called it a bi-Heyting algebra and not biphobic
Show threadchris martensJun 10
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
Show threadchris martensJun 11
i finally made it to the start of a morning session 🥱
Show threadchris martensJun 11
“my modalities will just be box and diamond… the OGs”
Show threadchris martensJun 11
wow the sun sets at 10pm here
Show threadchris martensJun 11
I forgot about natalie dee’s comics. they’re good
Show threadchris martensJun 11
things i forgot as casualties to getting to the conference on time:
- my name tag
- breakfast
Show threadchris martensJun 11
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
Show threadchris martensJun 12
(noticing they’re running out of time) “i think i’ll skip the intuition”
Show threadchris martensJun 12
i am very sleepy but doing my best to stay awake for the @zanzi show!
Show threadchris martensJun 12
@zanzi this isn’t worth me grabbing the mic, but shouldn’t it be sinister and *dexterous*, rather than dominant? dominance isn’t specific to which hand, it’s just whichever one is preferred by a given person
Show threadchris martensJun 12
@zanzi also thank you for using one of my favorite words (chirality)
Show threadZanzi @ Monoidal CafeJun 12
@chrisamaphone oh! That's what I get for changing my nomenclature at the last minute 😆yes, it should be dextrous indeed. It has a better ring to it than 'dominant' too!
Show threadchris martensJun 12
the glasgow subway is so cute. it’s bb8 in train form
Show threadchris martensJun 12
locals explained “we only have a circle line” and i replied that boston has everything *except* a circle line
Show threadjellJun 12

@chrisamaphone *googles, not expecting the onslaught of adorable*

(Even the old ones are cute!)

Show threadCoach Spore DieselJun 12

@chrisamaphone

I read they are retiring those old cars. I'm so sad. Really enjoyed them.

Show threadDeer Witch NyxJun 12

@chrisamaphone Glasgow subway stan entering the chat to make sure everyone knows about the Sub Crawl:

a pub crawl where because the subway is a circle, people can take it one stop at a time in a circle, going to a pub at each stop, then getting delivered safely back where they started. People dress up in the branding colors of the Glasgow subway, evoking the idea of the subway as a favorite sports team.

Show threadMeven Lennon-BertrandJun 12
@chrisamaphone The whole room rioting: "give us the intuition!"
Show threadwenJun 12
@chrisamaphone that was an amazing talk and now I'm feeling excited about working with focusing again :)
Show threadchris martensJun 12
@wen aw yay!! thank you!
Show threadchris martensJun 12
@wen i’d love to know what you’re working on too
Show threadJan de Muijnck-HughesJun 11
@chrisamaphone well I was thinking that Fred spontaneously duplicated himself on stage just now...
Show threadTessJun 12
@chrisamaphone yeah, we’re at about the same latitude here in Aarhus and the adjustment to not having astronomical twilight at all for part of the year was definitely something.
Show threadchris martensJun 12
@tess oh wait can you explain this? i forget what astronomical twilight means
Show threadTessJun 12

@chrisamaphone https://www.timeanddate.com/sun/denmark/aarhus

The official definition plus a little added description (from Wikipedia):
Astronomical twilight is defined as when the geometric center of the Sun is between 18° and 12° below the horizon. During astronomical twilight, the sky is dark enough to permit astronomical observation of point sources of light such as stars, except in regions with more intense skyglow due to light pollution, moonlight, auroras, and other sources of light.

Sunrise and sunset times in Aarhus

Calculations of sunrise and sunset in Aarhus – Denmark for June 2025. Generic astronomy calculator to calculate times for sunrise, sunset, moonrise, moonset for many cities, with daylight saving time and time zones taken in account.

Show threadTessJun 12
@chrisamaphone (which also means there’s no official night )
Show threadchris martensJun 12
@tess oof, yeah, that’s intense!
Show threadTessJun 12

@chrisamaphone I’ll be honest, I don’t think I’ve yet acclimated to the wide changes in daylight through the year even after 7 years, and not sure I ever will

And I thought going from GA to Boston was bad 

Show threadLars Hupel Jun 10
@chrisamaphone I can tell you’re in academia and not corporate because you said “beamer” and not “PowerPoint”
Show threadPhilippa CowderoyJun 10
@chrisamaphone Today alone, I assume?
Show threadJade MasterJun 9
@chrisamaphone I'll just keep an eye out for a pink and blue person with glitchy black squares on them ;)
Show threadchris martensJun 9
@JadeMasterMath and i for a white and orange cat! 🐈
Show threadbhaktiJun 9
@chrisamaphone @JadeMasterMath and i for both :)
Show threadchris martensJun 9
success! and the kind volunteer was none other than @gallais :)
Show threadsamir, lost and foundJun 9
@chrisamaphone If you don’t get one that way, check Boots. They often have them.
Show threadchris martensJun 9
@samir thanks, I will!
Show threadBathsheba GrossmanJun 9
@chrisamaphone
If you're staying at a hotel it might be worth asking the front desk.
Show threadConor Mc BrideJun 9
@chrisamaphone boo no likey
Show threadPhilippa CowderoyJun 9

@chrisamaphone I have no idea how the hell I woke up an entire hour before my alarm and I live here!

Good luck: did you have any time to swing your sleep phase in advance?

Show threadchris martensJun 9
@flippac nope. i managed to put myself to bed at about 2am but it’s gonna be a struggle.
Show threadPhilippa CowderoyJun 9

@chrisamaphone mmm, I get that. It's about when I got to sleep too, but I also know my body will get the hint mid-week.

Good thing tbh, I should avoid caffeine

Show threadJoel McCrackenJun 8
@chrisamaphone nothing says Pittsburgh like mystery staircase.
Show threadpaulette d. koronkevichJun 8
@chrisamaphone I love this
Show threadpaulette d. koronkevichJun 8
@chrisamaphone I feel like I'm there
Show threadLars Hupel Jun 10

@chrisamaphone I love everything about this list

especially Ladbrokes

Show threadPhilippa CowderoyJun 8

@chrisamaphone I'm mostly packed, but you do not want me showing up without taking a shower before I leave!

(have also found another nice-to-do around the flat: I'll probably arrive early evening, though I'm staying near the venue too)