Posts

It’s the first Wednesday of February. If you’re Swiss, y’all know what that means!…

After having the motherboard replaced in my laptop, I was unable to reconfigure the boot-manager to rEFInd the normal way. Fortunately, I had a tiny bit of experience with the UEFI shell and ‘recovered’ things through that.

My Nitrokey suddenly broke. This is some ramblings about working my way through the harebrained backup schemes I established, and setting up something a bit more sane+safe…

Explaining and implementing Birell’s 2003 paper on Condition Variables for Modula-2+, in Racket.

Cross-compiling can be a bit difficult to put it mildly. This should hopefully be straightforward to follow and help you if you’re looking to cross-compile Splash-3 for use with gem5 or a similar simulator.

A dive into functional concurrency, FFIs, and thread weirdness.

A step-by-step guide to dualbooting encrypted Windows and Arch Linux, using the rEFInd boot mananger.

A detailed overview of how I installed Arch Linux on my Lenovo ThinkPad X1 Extreme (Gen 1), having never install Arch before.