2,955 reputation
1016
bio website jelv.is
location Berkeley, CA
age 21
visits member for 3 years, 11 months
seen Nov 12 at 0:40

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


Jun
4
revised What is the “Free Monad + Interpreter” pattern?
deleted 1 character in body
Mar
19
revised CoffeeScript and Named Functions
added 233 characters in body
Feb
1
revised What is the advantage of currying?
added 12 characters in body
Jan
1
revised Type systems: nominal vs. structural, explicit vs. implicit
added 1038 characters in body
Jul
28
revised Please explain the statement that the function an+b belongs to O(n^2) and and Θ(n)?
added 1103 characters in body
May
19
revised Why isn't rich code formatting more common?
edited body
Jan
17
revised Omitting inheritance in programming languages
added 8 characters in body
Jan
14
revised Interesting or unique types in programming languages?
deleted 1 characters in body