network profile
| bio | website | google.com |
|---|---|---|
| location | Idaho | |
| age | 36 | |
| visits | member for | 10 months |
| seen | Jun 14 at 16:14 | |
| stats | profile views | 11 |
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.
|
Stack Overflow | 9,648 rep | 11242 |
|
Mathematics | 1,058 rep | 119 |
|
Meta Stack Overflow | 266 rep | 9 |
|
Programmers | 238 rep | 11 |
|
Unix & Linux | 108 rep | 5 |
This user has no active bounties
7 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 7 | up | 4 | question | ||
| 0 | down | 3 | answer | ||
