Welcome to the warehouse
This is a public collection of notes and things I have done and I leave them here in case they might be of use to anyone (other than me).Notice that these notes are never finished. Some of them are basic collections of incomplete thoughts or links to other parts of the web, while other parts are more polished, depending on how much time I spend on them.