Kenneth Kasajian
Software Engineer and Web Developer in Irvine, California
I'm a software developer. These days I use mostly C#, C++, JavaScript and Python. Code that intersts me: small, fast, minimimum dependency, unusual environemtns / constraints, algorithms, functional programming. Next to learn list: Clojure, Coq, Hindley-Milner inference system in Haskell, System F, and the Agda/Idris implementations.