In reply to
Jon Sterling
@jonmsterling@mathstodon.xyz
I am an Associate Professor in Logical Foundations and Formal Methods at the Cambridge Computer Laboratory, and a Fellow of Clare College. I like categories, domains, and vintage computing.
mathstodon.xyz
Jon Sterling
@jonmsterling@mathstodon.xyz
I am an Associate Professor in Logical Foundations and Formal Methods at the Cambridge Computer Laboratory, and a Fellow of Clare College. I like categories, domains, and vintage computing.
mathstodon.xyz
@jonmsterling@mathstodon.xyz
·
Apr 04, 2026
@tml @olynch @albertcardona @elduvelle I mean, the balkans is one thing.
But it is impossible to get from Cambridge to Oxford for a daytime meeting without staying overnight.
If I wanted to go to Glasgow, I would have to use four different train companies and none of the different train companies coordinate with each other — meaning that what ought to be a simple fix (as in the case of missed flights, where it just gets fixed without your intervention) becomes a huge ordeal that you are fully responsible for.
View full thread on mathstodon.xyz
1
10
0
Conversation (10)
Showing 0 of 10 cached locally.
Syncing comments from the remote thread. 10 more replies are still loading.
Loading comments...