Skip to main content
AlienRem's user avatar
AlienRem's user avatar
AlienRem's user avatar
AlienRem
  • Member for 9 years, 3 months
  • Last seen this week
Stats
4,089
reputation
138k
reached
52
answers
95
questions
Loading…
About

PhD student in mathematics for AGI. My main research interests range from Homotopy Type Theory and Higher Categories to Neuromorphic Computation and Lattice-based Computing. I guess I'm on the way to become an ontological programmer.

1
gold badge
25
silver badges
38
bronze badges
27
Score
12
Posts
8
Posts %
25
Score
16
Posts
11
Posts %
24
Score
9
Posts
6
Posts %
16
Score
13
Posts
9
Posts %
15
Score
9
Posts
6
Posts %
11
Score
14
Posts
10
Posts %
Top posts
View all questions and answers