Posts
-
Oct 16, 2023
I wanted to set up a job to run on every last Friday of the month. I learned how to do it with systemd
-
Dec 5, 2022
An example driven approach to TransformStreams in Deno
-
Nov 7, 2022
A quick introduction on using the Shortcuts app and the terminal to download videos for offline consumption
-
Oct 22, 2022
In JS land, jest allows us to call our tests by nice names. How can we do the same in Python?
-
Feb 8, 2021
News from the Open Data and Civic Tech scene for January 2021
-
Jan 20, 2021
News from the Open Data and Civic Tech scene for December 2020
-
Nov 12, 2020
A roundup of some of the interesting things that happened in the Open Data and Civic Tech world in October 2020 - very biased and incomplete 😉
-
Sep 28, 2020
Sofware is there to help users. To do this, the developers need to talk to them.
-
Aug 8, 2020
Moving json mangling application logic into PostgreSQL
-
Jul 15, 2020
Looking at EqualStreetNames.Berlin to see how OSM and Wikidata can play together
-
Jun 7, 2020
A quick explanation and an example for the clear-site-data header
-
Apr 13, 2020
A follow up story on running a self hosted feed reader in a home network
-
Feb 10, 2020
Debugging a problem with PATCH requests and CORS
-
Oct 13, 2019
Using TypeScript to make sure that frontend and backend stay in sync
-
Sep 23, 2019
Using Miniflux to run a self hosted RSS reader at home and exposing it on the internet
-
Jul 14, 2019
Looking at the bytecode that CPython generates to spot differences between Python 2 and 3
-
Apr 11, 2019
Using git's trailers feature to add additional machine-readable data to git commits
-
Mar 19, 2019
Using the onto flag to rebase after a squash
-
Mar 12, 2019
Using git bisect to automatically find faulty commits
-
Mar 4, 2019
Usings git's interactive rebase feature
-
Feb 26, 2019
Git's indent-heuristic makes your diffs pretty
-
Feb 18, 2019
Using the git stash for more than just LIFO
-
Feb 11, 2019
Using git's partial-add feature to create atomic commits
-
Feb 4, 2019
How to set up different identies in git to separate work and private configurations
-
Feb 4, 2019
How to set up different identies in git to separate work and private configurations
-
Jan 28, 2019
How to use git's amend and rebase features to rewrite the past.
-
Jan 22, 2019
Using git log to find you work from last week
-
Jan 21, 2019
On SVG rendering inconsistencies in Safari
-
Sep 3, 2018
My setup for staying up to date on tooling tips and tricks
-
Aug 1, 2018
A small tutorial on using basic building blocks on the command line
-
May 4, 2018
Looking at the python source to understand how `Counter` works
-
Mar 29, 2018
pbpaste | python -m json.tool | pbcopy
-
Mar 27, 2018
Using flask-migrate to run alembic migrations in tests
-
Feb 16, 2018
Using Wikidata to see where cites that start with "Bad" are located
-
Feb 3, 2018
Making a small cheatsheet for the nicknames of German handball players
-
Nov 23, 2017
Using `poppler` to split one big PDF into multiple multi-page ones
-
Nov 8, 2017
Using the new `calc` and `--var` features to position things in an enjoyable way in CSS
-
Nov 1, 2017
Proposals to improve the user experience of the Sky Ticket app. Spoiler: Remember more things
-
Aug 31, 2017
In which we will leverage the power of wikidata to draw charts of parliaments
-
Apr 22, 2017
I made a small AWS Lambda based proxy for the overpass api that returns geojson directly
-
Apr 7, 2017
An introduction to mapnik and the stack I used for creating a video of trees being planted in a Berlin
-
Mar 20, 2017
A small overview of how it is possible to show a dynamic countdown in an email