CNMAC 2024
Porto de Galinhas·
CNMAC is a Brazilian conference on applied mathematics, where I presented a poster about Graph Neural Networks titled “SRGNN: Simple Recurrent GNN”.
Math
2024
Tropical ProbAi
Rio de Janeiro·
Tropical ProbAi is 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
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
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).