Follow

"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

· · Web · 0 · 0 · 10
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.