Welcome! My name is Nicolas Lenz, or Eisfunke. I’m a master student of computer science at TU Dortmund University in Germany.
EisfunkeLab Bytegeschichten Das System ist das Problem
As EisfunkeLab I hope to in the future organize workshops and talks about topics from computer science, science and more. You can subscribe to the newsletter there to get notified when something happens there. I also make two German-speaking podcasts: Bytegeschichten, a science podcast about computer science, and Das System ist das Problem together with my friend Jonas, an opinion podcast about politics, society and technology.
If you want to contact me, try one of these channels. I speak German, English and some Dutch.
- Matrix messenger: @eisfunke:eisfunke.com (preferred)
- E-Mail: Graphic with address
- Signal messenger: Available upon request
- Telegram messenger: @Eisfunke
- Twitter: @Eisfunke
Find me online
There are a lot of places where you can find me online, some of which I’ve listed here.
- EisfunkeGit: @eisfunke
- GitHub: @Eisfunke
- StackExchange: Eisfunke
- EisfunkeForum: Eisfunke
- Steam: Eisfunke
I’m 25 and live in Dortmund, Germany where I’m a master student of computer science at TU Dortmund University.
My main interests are science & computer science, teaching, urban planning, politics, philosophy, podcasting, hiking and sewing (you can find details on these topics in the boxes below). But I’m also interested in city and traffic planning, space exploration, history, philosophy and pretty much anything to some degree. I love learning and exploring new stuff.
I’ve been doing various volunteer work for the student body of the computer science department at my university since 2017. Most notably I’ve been the chairman of the department’s student council from 2018 to 2021, managed its finances from 2021 until 2022 when I retired from the council. Now I help administrating the web services the student body provides.
I enjoy cycling, my main means of mobility is my e-bike. Together with my girlfriend I love hiking and Geocaching, an outdoor game using GPS where one solves puzzles and other stuff to find hidden boxes called “geocaches”.
Moreover, as a computer geek I’m of course into computer games as well. Mainly strategy and management games like Cities: Skylines (which originally got me interested in urban planning and traffic), Europa Universalis or Stellaris.
Apart from that I’m fond of simulations like Kerbal Space Program or Elite: Dangerous. These two games are where I mainly got my liking of astronomy, space exploration and rocket science from. I also enjoy the odd story-driven RPG or walking simulator.
I not only enjoy making podcasts (see above), but I also listen to them. I also like photography and computer graphics (see below). When I’m somewhere with enough wind, I love kite flying.
Science, Computer Science and Teaching
I love science, scientific method, learning and explaining things. I am a skepticist and rationalist: I strive to question all my knowledge and my beliefs and and back them up with rational reasoning.
My special interests lie in the fields of functional programming (mostly Haskell), formal verification, programming language design, compiler construction, type theory, algebraic modelling and category theory.
One of my key passions is teaching and explaining the things I learn. As EisfunkeLab I organize workshops and talks about computer science and science in general. Well, that is, I try, until now there were only three workshops about functional programming. However, I’m really quite proud of those and hope to find the time to expand on them in the future.
I worked for about 5 years as a tutor at my university.
Sometimes, I enjoy the practical stuff as well: programming (preferably functional), Linux, server administration, continuous integration, data/communication security and free/libre and open source software in general. I administrate a home server (which this web page runs on) and write software for fun, most of it openly available under free licenses.
Take a look at my GitLab for my software and more stuff. Some of my favorite projects include:
- Lightfold, a very young (and very work-in-progress) experimental functional programming language with a dependent type system implemented in Haskell. I started development in my bachelor thesis and hope to eventually extend it, for example with new things I learn about programming language design.
- Nebelhorn, a static site generator using Pandoc. This website is generated with Nebelhorn.
- Mock and the corresponding Telegram bot. Mock is a GReAt HAsKeLL tOOl to traNSFoRm TExt into different styles.
Sometimes I also create graphics, mostly in a systematic-programmatic way. I love fractals and their recursive nature. Some examples:
- My personal Eisfunke logo that is defined as an recursive fractal.
- The Lightfold logo that I constructed precisely from a few base parameters using geometrics.
- My fractal snowflakes generated from recursive grammars called “lindenmayer systems”.
- The color palette used for this website. The colors are generated systematically from a few base parameters in the CIELUV colorspace in order to look uniform and harmonic.
Work in progress
Work in progress
Work in progress
Unless marked otherwise, the content and source code of this blog are licensed under a Creative Commons Attribution-ShareAlike 4.0 license.
The header image is of the autobahn A81 in Geisingen, Germany. The image is in the public domain and taken from https://www.goodfreephotos.com/astrophotography/milky-way-stars-over-the-lighted-highway.jpg.php.
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.
This blog is built with Nebelhorn. That means that I write the articles and pages using simple Markdown syntax.
You can browse the source files of this website on my GitLab. If you find any errors, even spelling mistakes, please open an issue or even open a merge request and I’ll look into it.
I deploy this website using GitLab Pages. That means: I can change something on my PC, directly in my GitLab or even on my mobile phone. I push the change using Git. Then my server automatically builds the website through GitLab CI/CD using the latest version of Nebelhorn. Finally, it is published right here. It takes less than 20 seconds from upload to publishing.
Under the hood Nebelhorn is written in Haskell using Pandoc, a really great universal document converter. For more information about how Nebelhorn works under the hood look at its project site.