Tikhon Jelvis

less info
meta site favicon meta user | stack exchange network profile network profile
1,991 reputation
613
bio website jelv.is
location Berkeley, CA
age 20
visits member for 2 years, 6 months
seen Jun 16 at 3:31
stats profile views 117

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 summer, I'm going to be a tech intern at Jane Street Capital, brazenly using OCaml in the real world.

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

GitHub: http://github.com/TikhonJelvis

Website: http://jelv.is


34 Answers

newest activity votes
0
Resources for improving your comprehension of recursion?
apr 15 at 22:57
2
CoffeeScript and Named Functions
mar 19 at 19:20
2
Erlang/Haskell web service to server files
feb 9 at 21:27
34
What is the advantage of currying?
feb 1 at 20:31
8
Does javascript support numerically indexed arrays with a more optimized algorithm than an associative array?
jan 29 at 9:40
5
Loop Invariants in Python
jan 16 at 19:24
14
Type systems: nominal vs. structural, explicit vs. implicit
jan 1 at 12:27
4
Are there any theories or books about how to debug “in general”?
aug 10 at 20:38
9
How have languages influenced CPU design?
jul 30 at 20:45
4
Please explain the statement that the function an+b belongs to O(n^2) and and Θ(n)?
jul 28 at 9:37
1
How much should I know before looking for an internship? (self-taught with math background)
jul 26 at 7:15
11
Why don't browsers support haml and sass?
jun 10 '12 at 10:48
14
Maybe monad vs exceptions
may 30 '12 at 20:54
3
What do you use macros in your editor for?
mar 22 '12 at 21:32
2
Resources for learning common algorithms by Lisp
mar 15 '12 at 6:27
1
Giving variables default values vs. treating accessing an undefined variable as an error
mar 13 '12 at 20:42
0
For what types of applications is Python a bad choice?
mar 11 '12 at 0:06
1
What is a good alternative to the name variable for a language that only has immutable references or labels?
mar 6 '12 at 1:03
1
What decent web-frameworks exists for functional programming?
feb 22 '12 at 21:02
9
Omitting inheritance in programming languages
jan 17 '12 at 1:19
0
How would Functional Programming proponents answer this statement in Code Complete?
jan 12 '12 at 10:43
4
Resources on learning to program in machine code?
jan 11 '12 at 3:04
3
Why is it good not to rely on changing state?
jan 8 '12 at 21:21
1
Escaping language pigeon hole
dec 8 '11 at 7:59
4
Why isn't rich code formatting more common?
dec 4 '11 at 21:06
7
What is the supposed productivity gain of dynamic typing?
nov 30 '11 at 20:20
12
How to organize functional programs
nov 30 '11 at 7:28
1
What are the best things to put in my portfoilo to demonstrate my Java skills and make me more marketable?
may 4 '11 at 21:23
2
Was getting a computing science degree easier 10 years ago
may 2 '11 at 9:46
2
Interested in a million things, have a million goals: how to choose what to focus on
apr 28 '11 at 4:20
1 2