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. […]

A Semester in Oslo

From August 14th to December 22nd 2022 I was in Oslo for a semester. I want to write something about my semester there, to share some highlights.

EEPROM Save Type

The GBA has games with different sorts of backup memory. There are 3 types: SRAM, Flash and EEPROM. GBATek explains the EEPROM save type, but I found it quite brief, so I will try to add on to this documentation.