283 reputation
37
bio website jelv.is
location Berkeley, CA
age 21
visits member for 3 years, 8 months
seen Jul 18 at 20:59

I am a student 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.

I am currently an undergraduate researcher at the Berkeley ParLab, working on program synthesis. This past summer, I was a tech intern at Jane Street Capital, brazenly using OCaml in the real world. Right now, I'm leading a meetup group about type theory; you can see the slides here or just show up to the next on if you live near SF ;).

I am always happy to chat: my email is tikhon@jelv.is

GitHub: http://github.com/TikhonJelvis

Website: http://jelv.is


283 Reputation

5 Jul 18
5 Apr 17
5 Jan 15
5 Jan 12
5 Nov 26 '13
5 Nov 8 '13
5 Oct 25 '13
5 Sep 18 '13
5 May 30 '13
0 May 29 '13
10 Feb 26 '13
10 Jan 6 '13
5 Jun 9 '12
5 Apr 15 '12
10 Feb 10 '12
15 Jan 12 '12
5 Dec 20 '11
10 Nov 23 '11
5 Sep 30 '11
5 May 25 '11
5 Mar 10 '11
5 Mar 6 '11
20 Mar 5 '11
27 Mar 4 '11
100 Nov 9 '10