Yuri Ximenes Martins
Brazilian researcher working on the interplay between Mathematics, Computer Science and Philosophy. Software developer interested in functional programming. Linux lover. Automating stuff in Bash.
Education
Mathematics, Ph.D
Work
Researcher, Developer
Badges
Two Year Club
Two Year Club badge
Two Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least two years.
One Year Club
One Year Club badge
One Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least one year.
Writing Debut
Writing Debut badge
Writing Debut
Awarded for writing and sharing your first DEV post! Continue sharing your work to earn the 4 Week Writing Streak Badge.
GitHub Repositories
Skills/Languages
- Python, Go, Linux, Bash
- Logic, Category Theory, Type Theory, Abstraction
11 posts published
2 comments written
18 tags followed
loading...
Want to connect with Yuri Ximenes Martins?
Create an account to connect with Yuri Ximenes Martins. You can also sign in below to proceed if you already have an account.