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.
🏷️ Tag: dev
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.
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.
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
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
The 3D Scanning Wiki
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.
Aqualetics Coach
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.
IndieGo
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:
Admin Interface - authentication required
Lap Counter
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
Generate useful splits sheets directly from your Lenex (.lxf, .lef) file that you used to sign up the athletes for a meet.
My Cheat Sheets
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.
Android Markdown Widget
A seemingly simple android widget that renders a markdown file from your phone as a widget on the home screen.
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.
Pomo 🍅
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.
Swim Club Birsfelden Website
The website of the "ScBirs" swim club. This website serves as the center of all information distribution for the swimclub.
TeamKit
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.
WooCommerce Order Explorer
A small client side only web app to browse all open orders on your WooCommerce store. All data is stored in the browser.
👍 Liked: https://sourcegraph.com/notebooks/Tm90ZWJvb2s6MTM2Nw==