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 64k 64k 1717 gold badges105105 silver badges208208 bronze badges
- Mathematics 2.1k 2.1k 1313 silver badges3030 bronze badges
- Software Engineering 2k 2k 33 gold badges1313 silver badges1717 bronze badges
- Meta Stack Exchange 646 646 33 silver badges1111 bronze badges
- Unix & Linux 479 479 22 gold badges55 silver badges1616 bronze badges
- View network profile
Top network posts
- 254 git: diff between file in local repo and origin
- 152 Git branching and tagging best practices
- 139 Cannot resolve symbol 'AndroidJUnit4'
- 101 Adding an assets folder in Android Studio
- 75 "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 →