Hi! My name is Juan and I am a Data Science and AI undergrad student at FGV/EMAp in Rio de Janeiro, Brazil 🇧🇷. Here I will (try) to post about topics that I like and that I am studying, like deep learning, computer science, Linux, programming and math.
Recent posts
Taking daily notes in plain text
·280 words
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.
Peano numbers in Lean
·2122 words
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.
Creating a script to specify command aliases
·498 words
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.
My Linux setup for 2024
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.
Recent events
EAGxLATAM
·62 words
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
·73 words
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.
Tropical ProbAi
·46 words
Tropical ProbAi was a event about probabilistic artificial intelligence that occurred at FGV/EMAp in Rio de Janeiro at the end of January 2024. It had lecturers from MIT, Meta, USP, etc.