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 As I commented elsewhere in the thread (feels like you aren't listening to me and are just "interacting"), with an airplane the different carriers all coordinate with each other, as they are required by law. So the problem is less devastating when it inevitably comes to pass.
View full thread on mathstodon.xyz
0
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...