3,205 reputation
bio website jelv.is
location Berkeley, CA
age 22
visits member for 4 years, 5 months
seen May 22 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

This user has not asked any questions
Stack Overflow 40,499 rep 14114155
Programmers 3,205 rep 1117
Emacs 2,413 rep 1130
TeX - LaTeX 298 rep 37
Board & Card Games 201 rep 15

1,438 Votes Cast

all time   by type   month  
1,374 up 413 question 1
64 down 1,025 answer