Homelab – Setting up a grafana kiosk

I massively upgraded my homelab’s rack, and wanted to show a grafana dashboard on an external display. My first attempts were to use a DisplayLink USB -> HDMI adapter to […]

Dolomites

Tips Hikes we did Lago di Sorapiss Very beautiful hike, with free parking at the bottom. Lago di Braies This is a very popular spot. There is not really a […]

GBA Audio Data

I decided to research the GBA’s m4a engine, and particularly how the GBA stores / plays audio. The mp3 songs you might listen to take up multiple megabytes even for one or two minutes of play time, while a GBA ROM can only store 2MB of data total. A highly efficient way of storing song data was used, similar to the MIDI format. Programs to export sound already exist (like agbplay or the agb2mid tool from various decompilation projects), but documentation is sparse and incomplete. I decided to write my own GBA audio extractor for the learning experience.

Madeira

Tips Hikes we did Fanal Forest Very beautiful, but also a very popular spot, so come early! We were there at about 9AM, so we beat the big crowds. The […]

The Algebraic Small Object Argument

For my thesis I wrote a formalization of the Algebraic Small Object Argument by Richard Garner. It is a construction in Category Theory, used to generate Natural Weak Factorization Systems. […]