Work

Mathematics

This personal project is a free, open-source mathematics textbook aimed mostly at people who haven't yet been exposed to formal mathematics. I like to say that it is the book I would have liked to read when I was in high school. Currently, these are the topics I have written about:

  • Informal logic and set theory.
  • Formal propositional and predicate logic.
  • Zermelo–Fraenkel set theory.

This list will surely grow over time.

The book is conceived to have nearly zero prerequisites. The whole point of it is constructing mathematics from scratch: using some basic intuition as a starting point, then working intensively on mathematical logic and, from then on, doing some mathematics. I have tried to write with a deep focus on formality and rigour while keeping in mind that I am "talking" to a fellow human being. This balance is difficult to achieve, and I am fully aware that I probably haven't got it right yet.

This work is open-source and is distributed under a Creative Commons license. Please, feel free to use it and adapt it to your needs! You can find all the information and the source code on the GitHub repository.

Nothing is ever truly finished, and this book is no exception. My intention is updating it indefinitely, but I suppose only time can tell if I will. At least, I can assure you that I will do it in the near future: there's plenty of stuff I would like to write about.

You can download the latest version of the book from this link. You can also customise the following settings:

Miscellanea

When I was a novice LaTeX user, I, like many, had my personal template with some packages and style settings. Being a typesetting nerd is hard, and this template grew and grew quite a lot and became difficult to maintain. Therefore, I wrote my own document classes. I have been working on them for the last few years, and I've decided to open-source them.

Maybe some will use my document classes for their own typesetting –– and that would be amazing! –– but, most importantly, I hope that this resource will help some people learn a little bit more about LaTeX. I myself have learnt a lot looking at other people's code!

Link to my document classes

It's hard to say that my dotfiles can be considered "part of my work", but I've decided to put them here anyway to make them more accessible.

Just in case you don't know, "dotfiles" is the word used to refer to the configuration files of a user (because these files are often preceded by a dot in order to hide them in the file system).

I am not sharing these files so that you can copy-paste them into your machine. Actually, doing so wouldn't be very reasonable on your part because, well, it is very unlikely that you have my very same needs and preferences. Still, I think it is a great idea to have a look at other people's dotfiles and get some inspiration!

Link to my dotfiles