Property based testing

Property based testing


A talk about a variant of unittesting: property based testing. I showed how testing libraries can come up with test cases that humans would never think about.

I gave this talk to the (german) dev-community of our department and recieved a lot of positive feedback. My worries that it would be too hard or technical were unfounded, we had a lot of fun dicussing edge cases.

This is an expanded verison (35 min) of my lightning talk “Let’s play tesing”.

Dokumentation und Konfiguration aus gemeinsamen Daten generieren

Dokumentation und Konfiguration aus gemeinsamen Daten generieren


How to keep different parts of your application in sync (like documentaion and configs) by leveraging the power of static site generators.

This talk was especially tough because it was held for an unknown audience, where I couldn’t assume any prior knowledge or interest in anything. Since it was an internal talk about an internal project there are not many resources I can share here. I gave the talk in german, hence the german title which translates to “generate documentation and configuration from shared data”.

A tour through the python standard library

A tour through the python standard library


PyConDe 2023 in Berlin.

Git archeology

Git archeology


How to find unexpected treasures from your repos git history.

User documentation

User documentation


The mental model needed to write user-documentation.

This is a cover-talk of Daniele Procida’s presentation from PyCon Australia 2017. While all the genius is his and all the errors are mine I worked hard to build my own version of his slides and make them more fitting for my audience.

Let's play testing

Let's play testing


I did my first ever lightningtalk on PyConDe 2018 in Karlsruhe. I was so excited that my brain shut off a few hours before. But the talk itself went well.

I was showing off hypothesis, a library for property based testing. My goal was to show how easy it is to use and how it can find unexpected problems.

Zahlkörpersieb

Zahlkörpersieb


Summary of my master thesis: An algorithm to find factors of number as big as 10¹⁰⁰. This doesn't come for free, there are some surprising mathematics involved.