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?
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!