Dump

A space for notes that are intentionally public, but shouldn't appear as articles on the main blog.