Computer Science
Martin Berger
  • Member for 9 years, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
8,028
reputation
148k
reached
83
answers
9
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
24
silver badges
43
bronze badges
Top tags
View all tags
147
Score
19
Posts
21
Posts %
130
Score
15
Posts
16
Posts %
127
Score
14
Posts
15
Posts %
92
Score
16
Posts
17
Posts %
83
Score
9
Posts
10
Posts %
82
Score
11
Posts
12
Posts %
Top posts
View all questions, answers, and articles
All Questions Answers Articles
Votes Newest
92
Why is deep learning hyped despite bad VC dimension?
May 13 '17
34
How is algorithm complexity modeled for functional languages?
Apr 25 '17
34
Is Category Theory useful for learning functional programming?
Jan 9 '13
25
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
Top network posts
View all network posts
100
What is the contribution of lambda calculus to the field of theory of computation?
45
P and NP classes explanation through lambda-calculus
37
Applicability of Church-Turing thesis to interactive models of computation
34
Pragmatics of typed intermediate languages
34
Books on programming language semantics

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.