https://git.m.jonsson.net/marius/thesis2026-08-30T23:20:35Z