Lab

I love learning new things and explaining what I learned to others, e.g. in my blog posts. Additionally, when I find the time (which unfortunately is very rarely), I do things like workshops or talks on topics that I’m passionate about. I list those occasions here.

Subscribe to Newsletter

You’re welcome to sign up for my “EisfunkeLab” newsletter if you want to be notified when I’m doing something like a workshop or a talk.

The newsletter is separate from my blog, so you won’t receive emails for normal posts. Subscribe to my feed if you want to keep up to date with my blog.

Heads up: You’ll receive a mail with a confirmation link that you’ll have to click in order to confirm your subscription.

You can of course unsubscribe whenever you want.

Events

2024-02-25 Workshop: Beweisen mit Agda für Programmierer*innen

Auf der HIP5 gebe ich einen kleinen Einblick in die Welt des Beweisen und Programmierens mit dem Beweisassistenten Agda.

2021-01-15 Workshop: Funktionale Programmierung

Funktionale Programmierung ermöglicht schöne, leistungsfähige und sichere Programme. Bei einem Online-Workshop in drei Terminen gebe ich eine Einführung, wie man mit Haskell funktionale Programme schreibt.