davidad 🎇
wordcloud: tangent categories—probability monads—string diagrams—cubical type theory—lax functors—Wasserstein gradient flows—modal logics. \\ cancel heat death

Last synced from Twitter 18m ago