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.
63 Git branching and tagging best practices Sep 21 '12
17 TDD and Version Control Jun 16 '13
2 Tracking work history in a git repo Sep 23 '12
1 Tracking translations in localized software Apr 8 '14