CNMAC 2024
·23 words
CNMAC 2024 was a Brazilian conference on applied mathematics where I presented a poster about Graph Neural Networks titled “SRGNN: Simple Recurrent GNN”.
Math
2024
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.
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.
2023
Simulating a seeker robotic arm in Python
·678 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).