|visits||member for||3 years|
|seen||May 30 at 1:14|
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. I also enjoy playing chess and Go.
|bio||website||google.com||visits||member for||3 years|
|location||Idaho||seen||May 30 at 1:14|
7 Votes Cast
|all time||by type|