← home to the hotline →

About Me

Woah, you really know something about me. Well then, you are welcome. Here, take a seat. I’m Paolo, also called Magi by almost everyone who I have met online but also by some IRL. I’m now 22 years old and I am currently studying Computer Science and Engineering here in Italy (where I also live). I have been navigating the internet for years now and I have been in the most weird and strange places. This experience, in a way or another, forged me to become the person that I am now.

I have some serious difficulties describing me, but if I really had to, I would say I’m a very friendly and chill guy. So do not fear of texting me (in all the social medias you can find in the home page) for any reason. Just please, do not send advertisements or any form that pushes me to buy or get something, I’m good. Also, if you arrive with respect, I’ll welcome you with respect.

Interests

I am an avid manga reader and anime watcher. I also played lots of videogames, where my favourites are the Ryu Ga Gotoku game series and the The Legend of Zelda game series. I assume you have never seen this type of combo, huh. I also love any type of RPG but I mostly play classic 5.5e DnD. I love art, books and sports. I would say I am very versatile in almost every topic. I like to be open-minded, trying to see always all the sides of the multishaped medal. During my university years, I have encountered a topic that really made me passionate. Formal logic in general, Software verification in the specific. I don’t think I am yet to prepared to tackle this problems, but for sure is what I would love to learn about more (also, automated reasoning).

I also like tinkering, software-wise for now, but I really would like to get some hardware where I can develop something someday.

Setup

All my devices name are inspired to fox species, my favourite animal:

Bengal

In Bengal, I have the following peripherics:

Hardware:

Fennec

Fennec is my trusted, 3 year old M2 Macbook. I personalized it with the following software:

Programming Languages

I mainly use:

I rarely use and prefere not to use:

Markup Languages:

I have expertise in:

And now I am trying to learn typst.

IDEs

I mainly use Zed, which is my go to for basically everything. I fallback to VSCode, when some things with Zed go wrong. If you want to know my Zed config, just go here.

Browser

I now use Helium privacy-first browser without bloat. I previously used Brave, but I changed after I have seen the effort that Helium developers into their product.

Other