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
@albertcardona @elduvelle Yeah, it is so crazy. To even contemplate it for a second is hellish and laughable.
View full thread on mathstodon.xyz
3
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...