Guess it’s a day for bad HoTT takes. Disappointing.

My hot take for today is that even if you’re a bit of a conservative contrarian, as a mathematician you should probably still prefer a nice abstraction over a clunky and incomplete enumeration?

Sign in to participate in the conversation
Computer Fairies

Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!