Notes

Loose collection of short notes on various topics.