Tikhon Jelvis

less info
meta site favicon meta user | stack exchange network profile network profile
1,971 reputation
613
bio website jelv.is
location Berkeley, CA
age 20
visits member for 2 years, 5 months
seen yesterday
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
1
What decent web-frameworks exists for functional programming?
0
Resources for improving your comprehension of recursion?
2
CoffeeScript and Named Functions
2
Erlang/Haskell web service to server files
34
What is the advantage of currying?
8
Does javascript support numerically indexed arrays with a more optimized algorithm than an associative array?
5
Loop Invariants in Python
14
Type systems: nominal vs. structural, explicit vs. implicit
4
Are there any theories or books about how to debug “in general”?
9
How have languages influenced CPU design?
4
Please explain the statement that the function an+b belongs to O(n^2) and and Θ(n)?
1
How much should I know before looking for an internship? (self-taught with math background)
11
Why don't browsers support haml and sass?
14
Maybe monad vs exceptions
4
Why isn't rich code formatting more common?
3
What do you use macros in your editor for?
2
Resources for learning common algorithms by Lisp
1
Giving variables default values vs. treating accessing an undefined variable as an error
0
For what types of applications is Python a bad choice?
1
What is a good alternative to the name variable for a language that only has immutable references or labels?
9
Omitting inheritance in programming languages
0
How would Functional Programming proponents answer this statement in Code Complete?
4
Resources on learning to program in machine code?
3
Why is it good not to rely on changing state?
1
Escaping language pigeon hole
6
What is the supposed productivity gain of dynamic typing?
11
How to organize functional programs
1
What are the best things to put in my portfoilo to demonstrate my Java skills and make me more marketable?
2
Was getting a computing science degree easier 10 years ago
2
Interested in a million things, have a million goals: how to choose what to focus on
1 2