Computer Science
Profile Activity
Meta user
Network profile
7,903
reputation
21
43

Martin Berger

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

83
answers
9
questions
~139k
people reached
  • London, United Kingdom
  • sussex.ac.uk/Users/mfb21
  • Member for 8 years, 5 months
  • 551 profile views
  • Last seen Jan 2 at 23:32

Communities (38)

Top network posts

Top tags (97)

Score 145
Posts 19
Posts % 21
Score 127
Posts 15
Score 125
Posts 14
Score 90
Posts 16
Score 83
Posts 9
Score 82
Posts 11
View all tags →

Top posts (92)

All Questions Answers
Votes Newest
89 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 (64)

Gold

—

Silver

21

Rarest

Bronze

43

Rarest

View all badges →