Conversation

Notices

1. ∑ XahLee (xahlee@noagendasocial.com)'s status on Tuesday, 02-Jan-2018 22:40:21 EST ∑ XahLee

   now ONTO complex analysis and type theory omg am getting too old for this

   1. ay (ayy@gs.smuglo.li)'s status on Tuesday, 02-Jan-2018 23:05:00 EST ay

      in reply to
      @xahlee Complex Analysis is so cool! But I'm surprised you study both that and type theory, they are a bit different from each other!
      1. ∑ XahLee (xahlee@noagendasocial.com)'s status on Tuesday, 02-Jan-2018 23:07:20 EST ∑ XahLee

         in reply to

         @ayy yeah.

         but i think there's connection.
         complex analysis ↔ raiman geometry ↔ topology ↔ homotopy ↔ homotopy type theory ↔ type theory
         :D
         i don't know for sure but i think something like that