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


3,065 Reputation

20 Feb 25
10 Feb 6
+10 19:04 upvote
10 Feb 5
10 Jan 9
10 Jan 8
20 Jan 2
10 Dec 31 '14
0 Dec 25 '14
10 Dec 21 '14
10 Dec 6 '14
10 Nov 6 '14
10 Oct 23 '14
10 Oct 22 '14
10 Oct 14 '14
10 Oct 8 '14
10 Oct 2 '14
-30 Sep 20 '14
10 Sep 18 '14
10 Aug 29 '14
10 Aug 24 '14
10 Aug 17 '14
10 Jul 29 '14
10 Jul 20 '14
20 Jul 8 '14
10 Jul 3 '14
20 Jul 2 '14
10 Jun 23 '14
10 Jun 18 '14
10 Jun 13 '14
0 Jun 12 '14