I'm a student of mathematics and computer science at Utrecht University, currently fascinated by type theory and everything related to it. I started learning C++ in 2008, and have since then also picked up Python, C#, and Haskell. I'd like to learn Agda or Idris soon.
Apart from that, I play go (less often than I'd like), try to learn Lojban (with less success than I'd like), and am a member of Biton.
I am also known as jesyspa elsewhere on the net.
Q&A for peer programmer code reviews
Q&A for professional and enthusiast programmers
Q&A for professional programmers interested in conceptual questions about software development
Q&A for people studying math at any level and professionals in related fields
Stack Exchange Network staging zone, where users come together to build new Q&A sites
Q&A for programming puzzle enthusiasts and code golfers
Q&A for user experience researchers and experts
Q&A for linguists, etymologists, and serious English language enthusiasts
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for students, researchers and practitioners of computer science
Q&A for computer enthusiasts and power users
Q&A for passionate videogamers on all platforms
Q&A for professional and independent game developers
Q&A for Ubuntu users and developers
Q&A for users of Linux, FreeBSD and other Un*x-like operating systems.
Q&A for theoretical computer scientists and researchers in related fields
Q&A for gamemasters and players of tabletop, paper-and-pencil role-playing games
Q&A for active researchers, academics and students of physics
Q&A for database professionals who wish to improve their database skills and learn from others in the community
Q&A for science fiction and fantasy enthusiasts
Q&A for scientific skepticism
Q&A for software quality control experts, automation engineers, and software testers
Q&A for professional linguists and others with an interest in linguistic research and theory
Q&A for academics and those enrolled in higher education
Q&A for students, teachers, and linguists wanting to discuss the finer points of the Russian language