Welcome to ArthurAdolfo's server
Explore my available services, texts and projects.
Discover My Services
My Services
Logic Exercises
A system that generates propositional and quantificational classic logic exercises.
Learn MoreFocalboard
Keep your tasks organized with professional kanbans, boards, calendars and more.
Learn MoreAbout Me
My name is Arthur Adolfo, and I am a computer engineer graduated from the Federal University of Rio Grande do Sul (UFRGS), where I am currently pursuing a bachelor's degree in Philosophy. In the field of computer science, my main interests include data analysis, programming languages, and the fascinating world of 70s and 80s computing, which I consider a historical milestone in the evolution of technology. In Philosophy, my primary focus is Logic, with a touch of Epistemology and a growing interest in metaphysical questions. I am an enthusiast of Neovim, which I use as my primary text editor. And, of course, I am a proud supporter of Grêmio! 🇪🇪