Half pumpkin, half evil-spirit.

I was RealJohnConnor on twitter. I am interested in logic, mathematics, and functional programming.