Computer Science
Meta user
Network profile
7,638
reputation
20
40

Martin Berger

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

81
answers
8
questions
~126k
people reached

Communities (36)

Top network posts

Top tags (94)

Score 142
Posts 19
Posts % 21
Score 123
Posts 14
Score 122
Posts 14
Score 88
Posts 16
Score 83
Posts 9
Score 82
Posts 11
View all tags →

Top posts (89) All Questions Answers | Votes Newest

78 Why is deep learning hyped despite bad VC dimension? May 13 '17
34 How is algorithm complexity modeled for functional languages? Apr 25 '17
30 Is Category Theory useful for learning functional programming? Jan 9 '13
23 What does 'true concurrency' mean? May 8 '13
22 What do we gain by having “dependent types”? Mar 3 '15
22 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
14 Deterministic SAT solver Jan 6 '17
View all questions and answers →

Badges (60)

Gold

—

Silver

20

Rarest

Bronze

40

Rarest

View all badges →