Notes

Short write-ups and things I don't want to forget.