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
2
answers
0
questions
~790
people reached
-
Berkeley, CA
-
Member for 11 years
-
17 profile views
-
Last seen Oct 5 '20 at 15:00
Communities (37)
- Stack Overflow 64.5k 64.5k 1616 gold badges167167 silver badges207207 bronze badges
- Emacs 5.7k 5.7k 22 gold badges2525 silver badges3838 bronze badges
- Software Engineering 5k 5k 11 gold badge2222 silver badges2020 bronze badges
- TeX - LaTeX 618 618 55 silver badges77 bronze badges
- Board & Card Games 511 511 44 silver badges66 bronze badges
- View network profile
Top network posts
- 477 What does "coalgebra" mean in the context of programming?
- 329 What part of Hindley-Milner do you not understand?
- 142 What is the "Free Monad + Interpreter" pattern?
- 140 attoparsec or parsec in haskell
- 101 How do I get a fancier mode line that uses solid colors and triangles?
- 86 What are the practical differences between the various Emacs Package Repositories?
- 86 Regex to match words of a certain length
- View more network posts →
Top tags (5)
Badges (21)
Gold
—
Silver
15
Rarest
-
May 20 '15
-
Aug 26 '14
-
Aug 26 '14
Bronze
6
Rarest
-
Aug 4 '14
-
Aug 3 '14
-
Jul 25 '14