Letting Claude Improve my Notes in Obsidian
My workflow of letting Claude Code process raw files into notes and sort them into my personal wiki, while making sure all relevant notes are linked.
Tim Bachmann's Blog
Blog about web development, programming, and anything that might interest me.
Latest posts
My Selfhosting Setup
A short overview on how I self-host.
Getting the Absolute Path of a Remote Directory in Ansible
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
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.
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.
Forums
My experience of using forums in my teens, what changed after I started using reddit and my hopes for internet communities in the future.
Weechat Notifications with ntfy.sh
Using the weechat trigger plugin to notify yourself about new private messages and mentions through the ntfy.sh notification service.
Fix Network Connectivity in WSL2 with Cisco AnyConnect VPN
I ran into problems using Cisco AnyConnect VPN from inside of WSL2. I'm sharing my solution as a step-by-step guide for my reference and to help anyone with the same problem.
"no such file or directory" after enabling CGO in Docker
Quick fix for the "no such file or directory" error after enabling CGO, when running in a scratch docker image.
Running the WeeChat IRC Client on a VPS in Docker
Walkthrough on how to setup the WeeChat IRC client in docker.
IndieWebifying my Website Part 1 - Microformats and Webmentions
This site now supports sending and receiving webmentions and surfacing structured data using microformats2.
Hosting Images with Storj and Cloudflare
Learn how to setup affordable image hosting for your personal website with Storj.io and Cloudflare.
First Go Project: A Jam-stack Commenting API
I built my first project using the Go programming language: A commenting API for the jam-stack. It is simple but easily extensible. And it powers the commenting feature of this website!
SvelteKit Server-Side Rendering (SSR) with @urql/svelte
Learn why server-side rendering (SSR) using urql as a GraphQL client is not as straightforward as you might think and how to do it anyway.
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
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.
How to Listen to Phone Audio on PC
Learn how to connect your phone audio to your PC over wire or Bluetooth.
How to write optional filters in SQL
A simple way to filter by optional values in SQL with the COALESCE function.
How I use Vue.js on GitHub Pages
How to properly deploy a Vue.js app on GitHub Pages