meta user
network profile
| bio | website | google.com |
|---|---|---|
| location | Idaho | |
| age | 37 | |
| visits | member for | 9 months |
| seen | May 13 at 0:53 | |
| stats | profile views | 18 |
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.
393
votes
33
answers
12
kviews
201
votes
17
answers
65
kviews
102
votes
7
answers
7
kviews
85
votes
18
answers
26
kviews
80
votes
29
answers
17
kviews
76
votes
13
answers
7
kviews
62
votes
12
answers
6
kviews
53
votes
33
answers
4
kviews
22
votes
1
answer
607
views
9
votes
3
answers
1
kviews
8
votes
5
answers
460
views
6
votes
3
answers
154
views
5
votes
1
answer
423
views
