Follow

I'm thinking right now that I'm genuinely grateful for my purely chronological mastodon feed; I scroll for two minutes, I feel like I've spent time with reasonable and respectful people, I might or might not be interested, and then I can get on with other things. I know that's not "driving engagement", but it makes me a happier human being.

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.