3,065 reputation
1116
bio website jelv.is
location Berkeley, CA
age 22
visits member for 4 years, 3 months
seen Feb 25 at 20:43

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


This user has not asked any questions
Stack Overflow 37,535 rep 13104146
Programmers 3,065 rep 1116
Emacs 2,286 rep 1129
TeX - LaTeX 288 rep 37
Area 51 201 rep 2

1,433 Votes Cast

all time   by type  
1,369 up 411 question
64 down 1,022 answer