Home

Hi! I’m Nicolas, a software developer and computer scientist from the Ruhrpott. The topics I’m nerding out about change on a daily basis, but some of my main interests are programming languages, type systems, urbanism and hiking.

Where to find me

There are a lot of places where you can find me online, some of which I’ve listed here.

• ⁂ Fediverse / Mastodon: @eisfunke@inductive.space
• My GitLab Instance: @eisfunke
• GitHub: @Eisfunke

Contact

If you want to contact me directly, try one of these channels. I speak German, English and some Dutch. My pronoun is “he”.

• Matrix messenger: @eisfunke:eisfunke.com (preferred)
• Email: graphic with address, audio recording with address
• Signal messenger: eisfunke.42

Links

• If you’re interested in hiring me, take a look at my work page.
• I maintain a public collection of notes as a personal knowledge base.
• I publish my salary data on my salary transparency page.

About Me

Personal

I’m 27 and live in Dortmund, Germany. I work as software engineer with railroad technology at Rhein-Ruhr Systemtechnik.

Computer Science, Software & Tech

I love computer science, learning & teaching. My focus is on functional programming, programming languages, their theory and design, type theory and formal verification.

On the more practical side I’m a fan and an advocate for Linux and free software in general. I enjoy working with computing and networking infrastructure, especially with Nix and NixOS, and I self-host this website and a bunch of services.

I do a variety of projects in my free time centering around software, tech, computer science and sometimes other areas. Some of which I document as blog posts on this site or upload free and open-source on my GitLab.

Other Interests

I’m also interested in city infrastructure, urbanism, cycling and transit. And by the way, I was already planning to move to the Netherlands before it was cool and before I started watching Not Just Bikes!

To get my head off of tech and politics, I enjoy hiking, sewing, podcasts and books. With my friend Jonas I do a German-speaking mostly-weekly opinion podcast about politics, infrastructure and tech named Das System ist das Problem. Oh, and I like coffee.

Those are my main, permanent interests. I love learning and trying new things from all kinds of areas. But as we all know, the day has only 24 hours, so I’m trying to focus most of my time on doing a few keys things, but do those properly.

Tip Me

If you found one of my posts, podcast episodes, free software projects, web services or anything else to be helpful and want to say thanks, you can buy me a coffee over at my Ko-fi page. I appreciate it!

Meta

Header Image

The header background image on the top of this page is a photo I took myself. It shows the Jungfrau mountain in Switzerland. The point of view is Wengen. The Bernese Oberland, where those are located, is probably the most beautiful place I’ve ever been to. This photo reminds me of when we visited there.

Licensing

Unless marked otherwise, the content and source code of this blog are licensed under a Creative Commons Attribution-ShareAlike 4.0 license.

The Eisfunke logo in the header is subject to some usage terms, see the link.

The fonts used are Raleway as main sans serif font, Zilla Slab as Slab Serif font for continuous text and Iosevka in a custom variant as monospace code font.

Tech

This blog is built with Nebelhorn, a static site generator based on Pandoc. I wrote Nebelhorn myself in Haskell, because of course I have.

I write the pages and posts in Markdown in a Git repository on my GitLab. A CI pipeline then builds and deploys the site using Nix and GitLab Pages.