Podcast #128: We chat with Kent C Dodds about why he loves React and discuss what life was like in the dark days before Git. Listen now.
22,884
reputation
1
61
108

Andrej Bauer

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, type theory, homotopy type theory, and semantics of programming languages.

205
answers
2
questions
~281k
people reached

Top tags (126)

Score 581
Posts 53
Posts % 26
Score 544
Posts 57
Score 492
Posts 38
Score 411
Posts 38
Score 385
Posts 42
Score 238
Posts 17

Top posts (207) All Questions Answers | Votes Newest

View all questions and answers

Badges (170)

Gold

1

Rarest

Silver

61

Rarest

Bronze

108

Rarest