Using a SMT solver to find optimal GBA palettes

I've always wanted to make a GBA game and finally had such an opportunity when I had to brush up my low-level C programming skills and doing such a game looked like the perfect challenge. Luckily, there is a great SDK for writing GBA games in C, no ARM assembly

Transferring photos from iPhone to Linux box

Another chapter on my self-hosted adventures! In this post I'm going to describe how to transfer photos from an iPhone to a Linux box automatically and how to visualize the files. How to get the files? The first issue I had was how to reliably transfer photos from the phone

Some pains have been banished from this world

Has the experience of being human (i.e. the human condition) changed in profound ways in the last century? What has been will be again, what has been done will be done again; there is nothing new under the sun. Ecclesiastes 1:9 I believe so, a song made me

Calendar notifications with a bot

After setting up Radicale as my self-hosted calendar system (CalDav), I hit the issue that my wife and I have a shared calendar and I couldn't find a good way to get notifications that a new event has been added/changed there, which was a nice feature of the iCloud

Shenzhen Dreams

Shenzhen Dreams May this new Arduino Be the final last pentomino In the gaps of my understanding Inebriated cyber punk dreams One-click, contaminated streams Start a chain reaction of manufacturing Oh Shenzhen dreams Humankind, lost in regret Milk and honey turned silicon and sweat Could the clock be ever turned

My Self-Hosted Setup

For the past two years I've been experimenting with different ways to "decrease my digital footprint" by self-hosting as most as I can and have control of my data. Besides the privacy implications I'm also interested on the technical side, I didn't know much about how the web