About the tech-notes category

Very short notes with no explanations. Primarily useful to enrich the search, and to act as a brain dump.