About these notes

This is a collection of my notes regarding things I have learned over the years.

Each note will provide a summary of the most important points regarding the topic. This is useful for getting a higher-level understanding or refreshing your memory. Sometimes, the summary also contains some additional insights or remarks. If you want more details, you can use the resources at the end of the note as a curated list of resources.

The actual notes are versioned in this GitHub repository . This website is generated from those notes using the lovely Docusaurus plus a bunch of custom scripts that are also in the repository. The generated site is hosted on Netlify and search is powered by Algolia's DocSearch .