3,135 reputation
1117
bio website jelv.is
location Berkeley, CA
age 22
visits member for 4 years, 4 months
seen Apr 8 at 2:25

I am a software engineer primarily interested in programming languages, functional programming, program synthesis, type theory, universal algebra and startups (not necessarily in that order!). In the near future, I want to combine as many of these as possible.

Right now I'm an engineer at Esper, an early stage startup in Palo Alto. We use OCaml on the backend, which is pretty neat.

I am always happy to chat: my email is tikhon@jelv.is.

I am especially interested in questions and projects involving Haskell or interesting PL issues.

GitHub: http://github.com/TikhonJelvis

Website: http://jelv.is


Jun
4
revised What is the “Free Monad + Interpreter” pattern?
deleted 1 character in body
Mar
19
revised CoffeeScript and Named Functions
added 233 characters in body
Feb
1
revised What is the advantage of currying?
added 12 characters in body
Jan
1
revised Type systems: nominal vs. structural, explicit vs. implicit
added 1038 characters in body
Jul
28
revised Please explain the statement that the function an+b belongs to O(n^2) and Θ(n)?
added 1103 characters in body
May
19
revised Why isn't rich code formatting more common?
edited body
Jan
17
revised Omitting inheritance in programming languages
added 8 characters in body
Jan
14
revised Interesting or unique types in programming languages?
deleted 1 characters in body