Peano numbers in Lean
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
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
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).