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
2
answered What is the “Free Monad + Interpreter” pattern?
Apr
15
answered Resources for improving your comprehension of recursion?
Mar
19
answered CoffeeScript and Named Functions
Feb
9
answered Erlang/Haskell web service to server files
Feb
1
answered What is the advantage of currying?
Jan
29
answered Does javascript support numerically indexed arrays with a more optimized algorithm than an associative array?
Jan
16
answered Loop Invariants in Python
Jan
1
answered Type systems: nominal vs. structural, explicit vs. implicit
Aug
10
answered Are there any theories or books about how to debug “in general”?
Jul
30
answered How have languages influenced CPU design?
Jul
28
answered Please explain the statement that the function an+b belongs to O(n^2) and and Θ(n)?
Jul
26
answered How much should I know before looking for an internship? (self-taught with math background)
Jun
10
answered Why don't browsers support haml and sass?
May
30
answered Maybe monad vs exceptions
Mar
22
answered What do you use macros in your editor for?
Mar
15
answered Resources for learning common algorithms by Lisp
Mar
13
answered Giving variables default values vs. treating accessing an undefined variable as an error
Mar
11
answered For what types of applications is Python a bad choice?
Mar
6
answered What is a good alternative to the name variable for a language that only has immutable references or labels?
Feb
22
answered What decent web-frameworks exists for functional programming?