Taking notes is the kind of task that should be simple. In fact, you just need a small notebook and a pen for this. However, sometimes all I got with me is my smartphone, so I would like to have some sort of solution that synced all my notes between the devices I use.

In this post, I will define the natural numbers using the Peano axioms and prove that the set of natural numbers $\N$ equipped with ordinary addition and multiplication is a commutative semiring.

For the most part of the programming projects I am working, I like to specify some aliases for common terminal commands. Them problem is… I have never been satisfied on how to specify such aliases.

Throughout 2023, I did a lot of changes on my Linux setup, the major one being migrating most of my workflow into one more focused on terminal-based softwares.

EAGxLATAM was an effective altruism event in Mexico City about existential risks, AI safety and the animal cause. There, I could talk with a lot of people that works with AI safety (e.

Condor Camp was an amazing event on AI safety that happened on Mexico City. There I learned and discussed about topics related to AI governance and technical AI safety.