Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 13 years, 9 months
  • Last seen this week
747
Score
91
posts
713
Score
63
posts
601
Score
46
posts
486
Score
45
posts
434
Score
48
posts
292
Score
19
posts
257
Score
17
posts
227
Score
25
posts
219
Score
28
posts
219
Score
16
posts
189
Score
23
posts
179
Score
9
posts
127
Score
11
posts
126
Score
10
posts
121
Score
16
posts
115
Score
13
posts
105
Score
14
posts
104
Score
6
posts
102
Score
10
posts
100
Score
10
posts
89
Score
11
posts
87
Score
10
posts
85
Score
9
posts
80
Score
1
post
79
Score
11
posts
77
Score
8
posts
77
Score
3
posts
76
Score
8
posts
73
Score
9
posts
69
Score
3
posts
66
Score
2
posts
66
Score
1
post
66
Score
1
post
64
Score
3
posts
62
Score
2
posts
54
Score
6
posts
53
Score
5
posts
49
Score
4
posts
46
Score
5
posts
41
Score
7
posts
41
Score
3
posts
39
Score
8
posts
39
Score
1
post
38
Score
5
posts
38
Score
4
posts
38
Score
4
posts
34
Score
2
posts
33
Score
2
posts
32
Score
5
posts
31
Score
4
posts
31
Score
4
posts
31
Score
4
posts