🏷️ Tag: dev

You should be using RSS

6/5/2022
You should be using RSS

Decide exactly what you want to read and escape the social media algorithms. How an old protocol called RSS can give you back the autonomy about what you read.

How to set up an SSH Server on Windows with WSL

3/2/2022
How to set up an SSH Server on Windows with WSL

It can be very helpful to be able to connect to your laptop or desktop PC from anywhere using SSH. I will show you how to easily set this up on Windows with WSL.

Modelling Git Operations as Planning Problems

1/20/2021
Modelling Git Operations as Planning Problems

Bachelor Thesis. The goal of this thesis is to formally define a model of a subset of Git commands which mutate the revision graph, and to model those mutations as a planning task in the Planning Domain Definition Language. Multiple ways to model those graphs will be explored and those models will be compared by testing them using a set of planners.

How to write optional filters in SQL

7/11/2019
How to write optional filters in SQL

A simple way to filter by optional values in SQL with the COALESCE function.

Obsidian.md Fitbit Activity Script

If you use Obsidian.md to track your daily activity and wear a fitbit, this script is for you! This is a user script for the Templater Obsidian plugin. The script will connect to the fitbit API to fetch all your activity for a given day and format it as markdown.

Swim Club Birsfelden Website

The website of the "ScBirs" swim club. This website serves as the center of all information distribution for the swimclub.

Β©Tim Bachmann 2022

Built with SvelteKit and hosted on GitHub Pages.
View this website on GitHub!