Posts

Feb 10, 2020
Beware when PATCHing, capitalization matters

Debugging a problem with PATCH requests and CORS
Oct 13, 2019
Advanced typing with TypeScript

Using TypeScript to make sure that frontend and backend stay in sync
Sep 23, 2019
Running a self hosted RSS reader from home

Using Miniflux to run a self hosted RSS reader at home and exposing it on the internet
Jul 14, 2019
A look at the batteries 2: Python bytecode

Looking at the bytecode that CPython generates to spot differences between Python 2 and 3
Apr 11, 2019
Attributing people in git: Trailers!

Using git's trailers feature to add additional machine-readable data to git commits
Mar 19, 2019
Rebasing after squash in git

Using the onto flag to rebase after a squash
Mar 12, 2019
Finding bad commits with git

Using git bisect to automatically find faulty commits
Mar 4, 2019
Changing old commits with git

Usings git's interactive rebase feature
Feb 26, 2019
How git gets better: Nicer diffs

Git's indent-heuristic makes your diffs pretty
Feb 18, 2019
Stashing with git like never before

Using the git stash for more than just LIFO
Feb 11, 2019
Creating clean commits with git

Using git's partial-add feature to create atomic commits
Feb 4, 2019
Managing multiple identities with git

How to set up different identies in git to separate work and private configurations
Jan 28, 2019
Changing old commit messages for future reference

How to use git's amend and rebase features to rewrite the past.
Jan 22, 2019
Remembering last weeks work with git

Using git log to find you work from last week
Jan 21, 2019
Beware of small dimensions in SVGs in Safari

On SVG rendering inconsistencies in Safari
Sep 3, 2018
How I remember new tools and old knowledge

My setup for staying up to date on tooling tips and tricks
Aug 1, 2018
Using the power of the command line to let cows tell jokes

A small tutorial on using basic building blocks on the command line
May 4, 2018
A look at the batteries 1: Python's `Counter` class

Looking at the python source to understand how `Counter` works
Mar 29, 2018
Quick tip: formatting clipboard JSON on macOS

pbpaste | python -m json.tool | pbcopy
Mar 27, 2018
Running alembic migrations in flask tests

Using flask-migrate to run alembic migrations in tests
Feb 16, 2018
Where are the Bads in Germany?

Using Wikidata to see where cites that start with "Bad" are located
Feb 3, 2018
Wikidata: German handball player nicknames

Making a small cheatsheet for the nicknames of German handball players
Nov 23, 2017
Splitting a PDF into multiple smaller ones

Using `poppler` to split one big PDF into multiple multi-page ones
Nov 8, 2017
Positioning things with CSS can be fun now. An Example

Using the new `calc` and `--var` features to position things in an enjoyable way in CSS
Nov 1, 2017
Easy UX wins for the sky ticket app

Proposals to improve the user experience of the Sky Ticket app. Spoiler: Remember more things
Aug 31, 2017
Creating parliament charts with wikidata

In which we will leverage the power of wikidata to draw charts of parliaments
Apr 22, 2017
Announcing the overpass-geojson api proxy

I made a small AWS Lambda based proxy for the overpass api that returns geojson directly
Apr 7, 2017
Creating a video of 300,000 trees with mapnik

An introduction to mapnik and the stack I used for creating a video of trees being planted in a Berlin
Mar 20, 2017
How to show a live countdown in an email

A small overview of how it is possible to show a dynamic countdown in an email