Post by @jonmsterling

In reply to

@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

@olynch @albertcardona @elduvelle I think my problem is that 60 years ago, it was 10X better.

View full thread on mathstodon.xyz

Conversation (8)

Showing 0 of 8 cached locally.

Syncing comments from the remote thread. 8 more replies are still loading.

Loading comments...