i just want to do algebraic geometry without the algebra is that too much to ask
amazing visualization of exact sequences and complexes https://www.3blue1brown.com/blog/exact-sequence-picturebook
this is also probably stopping nyan.network from stealing types emojis, given that i don't have there yet
is it because we're using jortage?? it used to work before
i like topology, tea and type theory
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.