--- title: alv's notes --- # alv's notes These are my personal notes. Correctness is not guaranteed. Best viewed at [notes.alv.cx](https://notes.alv.cx).