Interests: Linux, Scala, Java, C/C++, Databases, Logic, Mathematics.