145 reputation
118
bio website jelv.is
location Berkeley, CA
age 22
visits member for 5 years
seen Mar 23 at 18:03

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


1
× 3
1
1
× 2
1
1
× 2
0
1
× 2
0
Stack Overflow 38,525 rep 13107147
Programmers 3,113 rep 1117
Emacs 2,351 rep 1129
TeX - LaTeX 293 rep 37
Board & Card Games 201 rep 15

37 Votes Cast

all time   by type  
37 up 15 question
0 down 22 answer