Computer Science
Martin Berger
Profile Activity
Stats
7,988
reputation
145k
reached
83
answers
9
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (38)

Top network posts

This user doesn’t have any gold badges yet.
22
silver badges
43
bronze badges
View all badges

Top tags (97)

Score 147
Posts 19
Posts % 21
Score 129
Posts 15
Score 126
Posts 14
Score 91
Posts 16
Score 83
Posts 9
Score 82
Posts 11
View all tags →

Top posts (92)

All Questions Answers
Votes Newest
91 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 →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.