Things worth keeping.

Short notes on tools, repositories and papers I want to find again. Some grow into blog posts; those carry a green Blog mark.