3,145 reputation
1117
bio website jelv.is
location Berkeley, CA
age 22
visits member for 4 years, 5 months
seen 6 hours ago

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


Mar
4
awarded  Nice Answer
Dec
3
awarded  Yearling
Aug
19
awarded  Suffrage
Jun
4
awarded  Guru
Jun
3
awarded  Mortarboard
Jun
3
awarded  Good Answer
Jun
3
awarded  Nice Answer
Mar
1
awarded  Necromancer
Dec
3
awarded  Yearling
Feb
18
awarded  Caucus
Feb
4
awarded  Good Answer
Feb
2
awarded  Nice Answer
Jan
1
awarded  Nice Answer
Dec
21
awarded  Enlightened
Dec
21
awarded  Nice Answer
Dec
3
awarded  Yearling
Nov
29
awarded  Nice Answer
Nov
12
awarded  Pundit
May
31
awarded  Nice Answer
Jan
14
awarded  Excavator