You can ask me about full- or part-time employment
Living in Boulder, Colorado
Freenode
athan
Freenode
deconfigured
Twitter
@ElAthanator
About Me
I'm very interested in type safety, language design, logical expansion of type systems, compiler design, asymptotic analysis of functional programs, but generally speaking all things computer.