- CRDT Conflict Free Replicated Data Type - Used for creating collaborative editing environments. - Typst - Homotopy Type Theory - Category Theory - Type Theory - Apparenlty I should learn Haskell -