Notes

Here you can find notes about things I discover or learn but are not (yet) worth a full-length post.