Tim Bachmann

Getting the Absolute Path of a Remote Directory in Ansible

9/20/2023

There is no builtin way to convert a relative path to an absolute path in ansible. However we can use the readlink command for this.

Automated Planning using Property-Directed Reachability with Seed Heuristics

5/6/2023

Masters Thesis. The goal of this thesis is to implement a pre-processing step to the Property Directed Reachability algorithm, to potentially improve the run-time performance. We use the pattern database heuristic to make use of the planning task structure for the seeding algorithm.

dev heuristic pdr planning-system

You should be using RSS

6/5/2022

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.

dev rss software

How to set up an SSH Server on Windows with WSL

3/2/2022

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.

dev ssh windows wsl

Modelling Git Operations as Planning Problems

1/20/2021

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.

dev git pddl planning-system

How to write optional filters in SQL

7/11/2019

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

dev quick-tip sql

How I use Vue.js on GitHub Pages

5/4/2019

How to properly deploy a Vue.js app on GitHub Pages

dev github-pages javascript vue.js

The 3D Scanning Wiki

3/5/2022

A github hosed wiki for all things 3D scanning: photogrammetry, lidar, laser scanning and more. The page is a static website built from a github repository with markdown files.

dev markdown sveltekit

3D Scanning Wiki

Github Organisation

Aqualetics Coach

3/5/2022

An internal web app for swim schools. Developed specifically for the "Kids" program of Swiss Aquatics. Live in production at the Aqualetics swim school since August 2019.

dev docker graphql hasura node postgresql vue

Overview

Blog Post 🇩🇪

Aqualetics Swim School

IndieGo

8/2/2023

I blogged about creating a comment system for my website a while ago, and later how I implemented webmentions into that same project. Since then this little go program has grown quite a bit, and it has turned into a modular platform that supports quite a few technologies:

dev docker go golang indieweb sqlite

IndieGo Github

Admin Interface - authentication required

Lap Counter

3/5/2022

A small web app help coaches count laps for multiple athletes. Has an integrated stopwatch and calculates the split for each athlete automatically.

Lenex Splits Sheet Creator

3/5/2022

Generate useful splits sheets directly from your Lenex (.lxf, .lef) file that you used to sign up the athletes for a meet.

dev lenex svelte swim

Open Splits Sheet Creator

Android Markdown Widget

8/2/2023

A seemingly simple android widget that renders a markdown file from your phone as a widget on the home screen.

android dev java kotlin markdown widget

Android Markdown Widget Github

Download on F-Droid

My Cheat Sheets

3/5/2022

My assorted collection of cheat sheets that I use almost daily. From useful LaTeX snippets to Linux commands to PostgreSQL and Python. Check it out and don't hesitate to contribute to it.

cheatsheet dev markdown

Cheat Sheets on Github

Obsidian.md Fitbit Activity Script

4/27/2022

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.

dev fitbit obsidian plugin

GitHub Repo

Pomo 🍅

8/3/2023

I created pomo as a way to keep me focused for working on my masters thesis, and at the same time allowed me to learn the rust programming language.

cli dev rust

pomo Github

Swim Club Birsfelden Website

3/5/2022

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

dev php wordpress

Website

TeamKit

11/27/2022

TemKit makes it easy to organize any kind of teams. Built for sport clubs, coaches, youth groups and more. TeamKit supports taking attendance, planning practices or events and keeping track of what coaches/teachers are responsible for which team.

dev hasura postgres sveltekit

TeamKit