Emacs
Profile Activity
Meta user
Network profile
5,552
reputation
2
23
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
~192k
people reached

Communities (37)

Top Meta Posts
3
2

Top network posts

Top tags (51)

Score 84
Posts 1
Posts % 3
Score 84
Posts 1
Score 46
Posts 2
Score 46
Posts 2
Score 2
Posts 2
Score 1
Posts 2
View all tags →

Top posts (30)

All Questions Answers
Votes Newest
100 How do I get a fancier mode line that uses solid colors and triangles? Sep 25 '14
84 What are the practical differences between the various Emacs Package Repositories? Sep 25 '14
57 How do I reload a file in a buffer? Sep 24 '14
49 How to add a prefix to every line? Sep 23 '14
46 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
21 How can I run an async process in the background without popping up a buffer? Sep 26 '14
21 Organize the content of ~/.emacs.d/init.el and ~/emacs.d? Oct 23 '14
16 How to view and edit pdf files in emacs? Sep 23 '14
15 How can I add characters to an input method? Nov 4 '14
View all questions and answers →

Badges (63)

Gold

2

Rarest

Silver

23

Rarest

Bronze

38

Rarest

View all badges →