People who code: we want your input. Take the Survey
Emacs
Profile Activity
Meta user
Network profile
5,792
reputation
2
25
38

Tikhon Jelvis

I am a software engineer primarily interested in programming languages and functional programming, including program synthesis, static analysis and domain-specific languages.

At the moment, I'm working on a domain-specific language for operations research at Target, using Haskell.

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

I am especially interested in questions and projects involving Haskell or interesting PL issues.

GitHub: http://github.com/TikhonJelvis

Website: http://jelv.is

15
answers
15
questions
~217k
people reached

Communities (37)

Top Meta Posts
3
2

Top network posts

Top tags (51)

Score 86
Posts 1
Posts % 3
Score 86
Posts 1
Score 47
Posts 2
Score 47
Posts 2
Score 2
Posts 2
Score 1
Posts 2
View all tags →

Top posts (30)

All Questions Answers
Votes Newest
103 How do I get a fancier mode line that uses solid colors and triangles? Sep 25 '14
86 What are the practical differences between the various Emacs Package Repositories? Sep 25 '14
62 How do I reload a file in a buffer? Sep 24 '14
54 How to add a prefix to every line? Sep 23 '14
47 How do I get a fancier mode line that uses solid colors and triangles? Sep 25 '14
45 How can I use my local Emacs client as the $EDITOR for remote machines I access over TRAMP? Sep 23 '14
24 Organize the content of ~/.emacs.d/init.el and ~/emacs.d? Oct 23 '14
22 How can I run an async process in the background without popping up a buffer? Sep 26 '14
18 How can I add characters to an input method? Nov 4 '14
16 How to view and edit pdf files in emacs? Sep 23 '14
View all questions and answers →

Badges (65)

Gold

2

Rarest

Silver

25

Rarest

Bronze

38

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.