2,865 reputation
1015
bio website jelv.is
location Berkeley, CA
age 21
visits member for 3 years, 7 months
seen 2 days ago

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


2,865 Reputation

20 2 days ago
10 Jul 3
20 Jul 2
10 Jun 23
10 Jun 18
10 Jun 13
0 Jun 12
30 Jun 9
10 Jun 7
30 Jun 6
200 Jun 4
215 Jun 3
70 Jun 2
10 May 29
10 May 22
20 Apr 13
10 Mar 11
10 Feb 24
10 Feb 23
10 Feb 16
10 Jan 9
10 Nov 21 '13
10 Nov 18 '13
10 Nov 8 '13
10 Nov 4 '13
10 Oct 21 '13
10 Oct 13 '13
10 Aug 31 '13
20 Aug 28 '13
10 Aug 23 '13