notes

Slowly-growing collection of notes on various topics.