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

@MonniauxD @albertcardona @elduvelle We need to do a git reset —hard 1980 on this stuff.

View full thread on mathstodon.xyz

Conversation (2)

Showing 0 of 2 cached locally.

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

Loading comments...