145 reputation
118
bio website jelv.is
location Berkeley, CA
age 21
visits member for 4 years, 8 months
seen Sep 23 at 20:18

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


Feb
23
awarded  Famous Question
Dec
3
comment Getting Gmail in Emacs?
@Gnoupi: Emacs is really great for browsing and editing text; what is email except a special case of this?
Nov
19
answered Connecting to a hidden wireless network on Kubuntu
Oct
7
awarded  Teacher
May
25
awarded  Notable Question
Nov
16
awarded  Popular Question
Oct
20
awarded  Supporter
Sep
22
comment Emacs transparency with kde4?
That said, a way of doing it from emacs so that I can control it through emacs would be nicer, but beggars can't be choosers.
Sep
22
comment Emacs transparency with kde4?
That works--I didn't even think of doing it that way.
Sep
22
accepted Emacs transparency with kde4?
Sep
22
asked Emacs transparency with kde4?
Jun
28
awarded  Autobiographer
May
19
awarded  Editor
May
19
revised I want to replace a number with successive numbers, starting at 1 and going up
added 455 characters in body; added 351 characters in body
May
19
answered I want to replace a number with successive numbers, starting at 1 and going up
May
19
awarded  Scholar
May
19
accepted Connecting to a hidden wireless network on Kubuntu
Apr
12
awarded  Student
Mar
18
awarded  Tumbleweed
Mar
11
asked Connecting to a hidden wireless network on Kubuntu