Notes

Loose notes on things I have done or find useful.