My profile picture

Scala developer. Loves functional programming at the type level.

GNU Emacs user. Flycheck owner and maintainer.

Reads books, plays Squash and builds Lego.

Writes sometimes. Tweets a lot.

From Munich.



Featured posts

Reproduce bugs in emacs -Q

Reproduce bugs in emacs -Q

What it means to reproduce bugs in emacs -Q, how to do that probably, and why developers ask for this.

Read more…

I wished GNU Emacs had…

I wished GNU Emacs had…

An open letter to the GNU Emacs developers.

Read more…

Emacs script pitfalls

It turns out that writing programs in Emacs Lisp is more intricate than it seems at a first glance. Emacs decades-long history as interactive application have left deep marks in Emacs and Emacs Lisp, which make independent noninteractive scripts surprisingly difficult.

This article shows you all the pitfalls around non-interactive Emacs Lisp scripts.

Read more…


Latest posts

I wished GNU Emacs had…
19 Jul 2016

I wished GNU Emacs had…

An open letter to the GNU Emacs developers.

Read more…

New pull request approval process for Flycheck
01 Jul 2016

I guess some of you know me mostly as maintainer of Flycheck, a popular extension for on-the-fly syntax checking in GNU Emacs. But the sad truth is that I’ve been fulfilling this role less and less over the past year.

Read more…

Show Magit Status window in fullscreen
28 Apr 2016

Show Magit’s status buffer fullscreen with display-buffer-alist.

Read more…

Typographic Editing Modes
23 Dec 2015

In this post I’ll introduce you to two modes that bring some typographic editing features to Emacs: Typo Mode and Tildify Mode. These modes help you use typographic quotes, punctuation and spaces.

Read more…

Reproduce bugs in emacs -Q
29 Nov 2015

Reproduce bugs in emacs -Q

What it means to reproduce bugs in emacs -Q, how to do that probably, and why developers ask for this.

Read more…

Emojis in Emacs
16 Aug 2015

Emojis in Emacs

I’ve recently found the best Emacs package ever: company-emoji. It’s a Company source for Emoji input 😍.

Read more…

Configure buffer display
29 Apr 2015

Configure buffer display

How to Tell Emacs where buffers should pop up with the almighty display-buffer-alist.

Read more…

Why package.el?
20 Jan 2015

Why you should use package.el to install Emacs extensions.

Read more…

My Emacs Configuration with use-package
06 Jan 2015

In the past I used to keep my Emacs configuration completely in a single init.el file. For a long time this worked quite well, but of late my configuration became increasingly messy: Package configuration was mixed with utility functions, key bindings, and even larger code for entirely new features. Needless to say that my init file was in dire need of a very thorough cleanup.

I had heard a lot of good things about John Wiegley’s use-package macro, and in the days after Christmas I decided to sit down and try to refactor my Emacs configuration with use-package. The result was very pleasant, and much better than I had dared to hope.

Read more…

Bug Reference Mode
23 Dec 2014

There’s not a day in which I don’t find a new gem for Emacs. Today it’s the built-in bug-reference-mode. This fancy little thing turns issue references in text into clickable buttons that browse the corresponding issue in a bug tracker. I discovered it via the bug-reference-github package, which automatically configures the mode for files in Github repositories.

Read more…

Latest tweets