Posts
2025
2024
Taking daily notes in plain text
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
2023
Creating a script to specify command aliases
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. On JavaScript
projects with Node, it is possible to user the package.json
scripts property, but this approach is obviously language-specific and
cannot be used on other types of projects.
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. Here I will try to document what changes I’ve made and what I pretend to change in the next year.
Simulating a seeker robotic arm in Python
The robotic arm built in this article is a simple n-joints arm that can be rotated in two directions. It will be simulated in Python using the Pygame library.
The objective here is to use concepts of optimization to make the arm follow a moving target (in this case, the mouse cursor).