2,975 reputation
1116
bio website jelv.is
location Berkeley, CA
age 22
visits member for 4 years
seen Dec 16 at 21:04

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


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?