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
@elduvelle @albertcardona Moreoever, why is it that there are direct flights between cities in the UK that I need eight changes on the train and a dozen little bus trips for?
With each change likely to fail at a rate of 10% that gives me a less than 50% change of reaching my destination…
Airplane it is.
View full thread on mathstodon.xyz
1
4
1
Conversation (4)
Showing 0 of 4 cached locally.
Syncing comments from the remote thread. 4 more replies are still loading.
Loading comments...