Previous name: benmachine.

I did an undergraduate degree in mathematics (focusing on logic) and am now a full time programmer.