Computer Science
Profile Activity
Meta user
Network profile
7,851
reputation
21
41

Martin Berger

Apparently, this user prefers to keep an air of mystery about them.

82
answers
9
questions
~134k
people reached

Communities (38)

Top network posts

Top tags (97)

Score 144
Posts 19
Posts % 21
Score 126
Posts 14
Score 125
Posts 14
Score 89
Posts 16
Score 83
Posts 9
Score 82
Posts 11
View all tags →

Top posts (91)

All Questions Answers
Votes Newest
87 Why is deep learning hyped despite bad VC dimension? May 13 '17
34 How is algorithm complexity modeled for functional languages? Apr 25 '17
33 Is Category Theory useful for learning functional programming? Jan 9 '13
24 What does 'true concurrency' mean? May 8 '13
22 What do we gain by having “dependent types”? Mar 3 '15
21 Why do compilers produce assembly code? Oct 2 '13
16 Intro to Martin-Löf type theory Sep 30 '13
15 Reference request: Category theory as it applies to type systems Sep 28 '16
15 Lambda calculus: difference between contexts and evaluation contexts Mar 19 '14
15 Universes in dependent type theory Jul 16 '13
View all questions and answers →

Badges (62)

Gold

—

Silver

21

Rarest

Bronze

41

Rarest

View all badges →