linux

2024

Discovering `restic` - 2024-08-26

2023

NixOS channels - 2023-12-13

OneDrive and NixOS - 2023-08-22

2021

Hosting HotCRP - 2021-10-17

Tarballing some files - 2021-08-25

2020

Renovating an old media PC - 2020-08-28

2018

Wipeout - 2018-12-17

2017

Quelle dommage - 2017-11-05

2016

Grubbing Around - 2016-09-13