It looks like you're new here. If you want to get involved, click one of these buttons!
I'm here for the Applied Category Theory Course. I recently graduated with an Sc.B. in Computer Science, but should have taken more pure math. I'm definitely interested in this whole "saving the planet" thing, but I'm not sure where to start (ranked choice voting?). Interest dump: programming languages, logic, reflection, exploration, freedom, and dogs.