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.
- Stack Overflow 51.4k 51.4k 1515 gold badges9595 silver badges183183 bronze badges
- Mathematics 1.7k 1.7k 1111 silver badges2828 bronze badges
- Software Engineering 974 974 33 gold badges88 silver badges1717 bronze badges
- Meta Stack Exchange 431 431 22 silver badges1111 bronze badges
- Unix & Linux 294 294 22 gold badges44 silver badges1616 bronze badges
- View network profile →
Top network posts
- 216 git: diff between file in local repo and origin
- 136 Git branching and tagging best practices
- 122 Cannot resolve symbol 'AndroidJUnit4'
- 99 Adding an assets folder in Android Studio
- 72 "File not found" when running new LibGDX project
- 66 If condition A is matched, condition B needs to be matched in order to do action C
- 58 Multiple Main Functions
- View more network posts →