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 62.1k 62.1k 1616 gold badges104104 silver badges206206 bronze badges
- Mathematics 2k 2k 1212 silver badges3030 bronze badges
- Software Engineering 2k 2k 33 gold badges1212 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
- 243 git: diff between file in local repo and origin
- 150 Git branching and tagging best practices
- 138 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 →