A notebook of ideas and musings, mostly for myself