128 reputation
8
bio website jelv.is
location Berkeley, CA
age 21
visits member for 4 years
seen Dec 10 at 1:18

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


Stack Overflow 34,406 rep 1293135
Programmers 2,965 rep 1116
Emacs 2,146 rep 828
TeX - LaTeX 288 rep 37
Area 51 201 rep 2

78 Votes Cast

all time   by type   month  
78 up 29 question 4
0 down 49 answer