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

Martin Berger

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

83
answers
9
questions
~141k
people reached
  • London, United Kingdom
  • sussex.ac.uk/Users/mfb21
  • Member for 8 years, 7 months
  • 561 profile views
  • Last seen Apr 22 at 12:02

Communities (38)

Top network posts

Top tags (97)

Score 145
Posts 19
Posts % 21
Score 129
Posts 15
Score 126
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
90 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 →

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.