meta user
network profile
| bio | website | google.com |
|---|---|---|
| location | Idaho | |
| age | 37 | |
| visits | member for | 10 months |
| seen | May 13 at 0:12 | |
| stats | profile views | 190 |
I primarily program in C++ and Java. Recently I started learning Haskell. My current mathematical interests are group theory, graph theory, category theory, and type theory.
9
votes
2
answers
213
views
2
votes
2
answers
207
views
40
votes
6
answers
719
views
16
votes
6
answers
667
views
13
votes
4
answers
849
views
60
votes
18
answers
5
kviews
30
votes
13
answers
2
kviews
11
votes
2
answers
504
views
1
vote
4
answers
162
views
6
votes
3
answers
1
kviews
18
votes
8
answers
465
views
24
votes
10
answers
4
kviews
17
votes
14
answers
3
kviews
15
votes
3
answers
528
views
0
votes
2
answers
71
views
4
votes
1
answer
85
views
0
votes
0
answers
131
views
36
votes
14
answers
2
kviews
4
votes
0
answers
141
views
2
votes
2
answers
243
views
2
votes
1
answer
326
views
48
votes
3
answers
63
kviews
0
votes
1
answer
73
views
10
votes
0
answers
228
views
18
votes
3
answers
973
views
