Estas son algunas de mis notas tomadas durante los cursos en el pregrado de Ciencias de la Computación, así como de libros o artículos que he estudiado de forma autónoma.
Los temas abordados son:
-
Functional Programming:
- Scala (in progress)
- Haskell (pending)
-
Category Theory (pending)
-
Machine Learning (pending)
-
Mathematical Logic (pending)
El lenguaje de marcado que uso para tomarlas se llama Typst, un lenguaje nuevo que poco a poco adquiere la potencia de LaTeX, pero con una sintaxis tan cómoda y legible (o más) que la de Markdown. Debido a que GitHub no tiene renderización nativa para este formato, dejo como opción para leer las notas tanto el código como el pdf compilado.
En caso de encontrar algún error notable en las notas, apreciaría mucho si crea un nuevo asunto para hacérmelo saber.