"and I'm really glad that I never went into computability theory because honestly they care about all these really weird and contrived sets. like they don't talk to anyone else. it's baffling"- my computability theory professor
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.