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.
Programming
2024
2023
Creating a script to specify command aliases
·484 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. 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.
OChord
↗
↖
A terminal-based program and language to manipulate chords and notes made in OCaml. This was a personal project of mine, and I want to get back to it when I have the time.
ChoveuRIO
↗
↖
Developed by me and other undergraduate students in at FGV EMAp in partnership with National Center for Natural Disaster Monitoring and Alerts in Brazil (CEMADEN), ChoveuRIO is a platform that aims to provide a detailed visualization of rainfall information in the city of Rio de Janeiro.
A visualization of NASA’s Voyager program probes’ trajectory through the solar system. This visualization presents, for each probe, a simulation of the Solar System, containing the probe’s position for each day, the main events of the mission in a timeline, and a gallery of images captured by them. The visualization is controllable by a player, which offers the option to play, pause, change the speed, and reset the whole visualization.
Simulating a seeker robotic arm in Python
·679 words
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).