Hacker Newsnew | comments | show | ask | jobs | submit login
created:1453 days ago
karma: 10129
about: Hello, I'm Tikhon Jelvis

I am interested in programming languages, semantics, functional programming (especially Haskell and OCaml), program synthesis, static analysis, type theory and startups (not necessarily in that order). In the near future, I want to combine as many of these as possible!

contact: http://jelv.is, tikhon@jelv.is -- I'm always happy to chat or email for any reason.

GitHub: http://www.github.com/TikhonJelvis

StackOverflow: http://stackoverflow.com/users/286871/tikhon-jelvis