2,885 reputation
1015
bio website jelv.is
location Berkeley, CA
age 21
visits member for 3 years, 8 months
seen Jul 23 at 22:53

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


Apr
18
comment Must a programmer learn text editors like Emacs and Vim? How important are they?
I was a high school student then (last year) and became very comfortable with it in a single semester. Make of that what you will.
Apr
18
answered Must a programmer learn text editors like Emacs and Vim? How important are they?
Apr
18
comment Must a programmer learn text editors like Emacs and Vim? How important are they?
I actually found that having learned Emacs as a (relative) beginner, life was much easier: whenever I wanted to use a shiny new language (say Haskell), I could still use the same editor. Before, I had trouble switching between random languages because of the different IDEs I tried to use.
Apr
11
comment Should you use “internal abbreviations” in code comments?
While I agree with almost everything you said, I am not sure your conclusion is valid. If everyone in the company refers to something by an acronym while speaking--and probably while thinking--about it, it is probably clearer to use the acronym. You should not use an acronym simply for brevity, but you definitely should use it for clarity.
Apr
5
comment Do most companies not know how to write software?
Something to note: a company does not need to be good at what it does---it just needs to be better. If everyone is bad, then a bad company would find no difficulty staying in business.
Apr
5
comment Should data structures be integrated into the language (as in Python) or be provided in the standard library (as in Java)?
JavaScript objects are really the same way--Arrays are just really objects with numerical properties and a length, for example.
Mar
15
awarded  Critic
Mar
7
awarded  Teacher
Mar
7
answered Do you have to be good at math to be a good programmer?
Dec
3
awarded  Supporter
Dec
3
awarded  Autobiographer
Jun
17
comment What is the single most effective thing you did to improve your programming skills?
Regular expressions aren't just useful, they also get you to think in a different way.