I love computers and hacking around with them, I have been programming since I was in primary school.
I have knowledge in a wide variety of computer science topics, my aim is to keep adding to this knowledge.
My main interests at the moment are large scale distributed systems and programming language implementation.
Most of the code I hack around with is open source, you can have a look here
This following section is mainly aimed at recruiters so they can develop an understanding of what I am like as a programmer and what values I bring into their engineering organisation.
Programming Languages - Preferred Languages in Bold
I generally prefer languages with strong types, as this makes programming easier for me. Being able to write programs with properties that can be verified at compile time is a huge help. C++ (I should elaborate more here) and C do not exactly fall into this category but I still like these languages for perhaps more sentimental reasons.
Programming languages I am learning
Idris - Dependant types for formal verifcation is neat
Racket - So much hype including comments such as "god wrote the universe in lisp"
TLA+ - Proving distributed systems is important
PlusCal - Attempting to learn since TLA+ is difficult