2,925 reputation
1016
bio website jelv.is
location Berkeley, CA
age 21
visits member for 3 years, 10 months
seen 38 mins ago

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
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.