Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Emacs
Meta user
Network profile
4,240
reputation
1
22
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
12
questions
~158k
people reached

Communities (37)

Top Meta Posts
3
2

Top network posts

Top tags (47)

Score 76
Posts 1
Posts % 4
Score 76
Posts 1
Score 47
Posts 1
Score 45
Posts 2
Score 45
Posts 2
Score 2
Posts 2
View all tags →

Top posts (27) All Questions Answers | Votes Newest

90 How do I get a fancier mode line that uses solid colors and triangles? Sep 25 '14
76 What are the practical differences between the various Emacs Package Repositories? Sep 25 '14
47 How do I reload a file in a buffer? Sep 24 '14
45 How to add a prefix to every line? Sep 23 '14
45 How do I get a fancier mode line that uses solid colors and triangles? Sep 25 '14
44 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
19 Organize the content of ~/.emacs.d/init.el and ~/emacs.d? Oct 23 '14
15 How to view and edit pdf files in emacs? Sep 23 '14
14 How can I preview TeX formulas inline in arbitrary modes? Sep 24 '14
View all questions and answers →

Badges (61)

Gold

1

Rarest

Silver

22

Rarest

Bronze

38

Rarest

View all badges →